Volume XXXI       Number 2     August 2011

Table of Contents

Newsletter Information

From the Editor’s Desk 3

Editorial Policy 4

Key Contacts 6

Priority Inversion with Fungible Resources - Gertrude Levine 9

Making Alive Register Transfer Level and Transaction Level Modeling in Ada - Negin Mahani 15

Ada Gems (gems 77-87.pdf)

Gem #77: Where did my memory go? (Part 1) by Emmanuel Briot 23

Gem #78: Where did my memory go? (Part 2) by Emmanuel Briot 25

Gem #79: Where did my memory go? (Part 3) by Emmanuel Briot 28

Gem #80: Speedy Shift and Rotate in SPARK by Rod Chapman 30

Gem #81: GNAT Semaphores by Pat Rogers 33

Gem #82: Type-Based Security 1: Handling Tainted Data by Yannick Moy 36

Gem #83: Type-Based Security 2: Validating the Input by Yannick Moy 40

Gem #84: The Distributed Systems Annex 1 – Simple client/server by Thomas Quinot 44

Gem #85: The Distributed Systems Annex 2 – Distributed Objects by Thomas Quinot 48

Gem #86: Ada Quiz 1 – Basic Types by Quentin Ochem 52

Gem #87: The Distributed Systems Annex, Part 3 – Mailboxes by Thomas Quinot 56

Reusable Software Components - Trudy Levine 59

Authors - John McCormick, Frank Singhoff, and Jérôme Hugues - Reviewed by Patrick Rogers 70

SIGAda 2012 Conference 71

Ada Europe Conference 2012 73

A Quarterly Publication of SIGAda,
the ACM Special Interest Group on Ada

Last Update 30 March 2012