Persistence Extensions to Ada95

This paper describes proposed extensions to the Ada95 programming language to provide support for persistent programming. The extensions support transparent migration of data between a program's address space and a persistent store in a way that preserves both type safety and encapsulation of ADT's. 1 Introduction Ada has recently undergone an intensive and major review and update. The result of this is the new programming language Ada95 (ISO 1995) which is, in the main, backward compatible with Ada83. Two of the principle changes to Ada was the addition of appropriate semantic constructs to change Ada from an objectbased language to a fully fledged object-oriented language and the provision of annexes defining additional language capabilities for specific user communities. In this paper we consider further extensions to Ada95 by way of the introduction of a persistence annex to provide persistent programming support to Ada. We call this revision persistent Ada95 to distinguish it fr..