. Research into persistent programming languages and systems in recent years has shown that the technology is useful for developing complex software in many problem domains. This paper explores the issues and consequences of adding persistence to Ada95. The persistence extensions support transparent migration of objects between a program's address space and a persistent store in a way that preserves both type safety and encapsulation of abstract data types. Keywords and Phrases: Kinds of systems: persistent systems; Ada95; object-oriented technology. 1 Introduction Ada has recently undergone an intensive and major review and update. The result of this is the new programming language Ada95[23] which is, in the main, backward compatible with Ada83[36]. Two of the principle changes to Ada were the addition of new constructs to change it from an object-based language to a fully fledged object-oriented language and the provision of annexes defining additional language capabilities for spec...
|
719
|
On understanding types, data abstraction, and polymorphism
– Cardelli, Wegner
- 1985
|
|
386
|
Concepts and Experiments in Computational Reflection
– Maes
- 1987
|
|
227
|
An approach to persistent programming
– Atkinson, Bailey, et al.
- 1983
|
|
146
|
Buneman “Types and Persistence in Database Programming Languages
– Atkinson, P
- 1987
|
|
143
|
Typeful Programming
– Cardelli
- 1989
|
|
97
|
Cockshott “PS-algol: An Algol with a Persistent Heap
– Atkinson, Chisholm, et al.
- 1982
|
|
66
|
S-algol reference manual
– Morrison
- 1979
|
|
59
|
Language constructs for managing change in processcentered environments
– Sutton, Heimbigner, et al.
- 1990
|
|
58
|
The design of the E programming language
– Richardson, Carey, et al.
- 1989
|
|
36
|
Persistent Hyper-Programs
– Kirby, Connor, et al.
- 1992
|
|
34
|
Rationale for the design of the Ada programming language
– ICHBIAH
- 1979
|
|
28
|
Algorithms for a Persistent Heap
– Atkinson, Chisholm, et al.
- 1983
|
|
28
|
Environments: a flexible binding mechanism to support system evolution
– Dearle
- 1989
|
|
26
|
Data types are values
– Donahue, Demers
- 1985
|
|
18
|
Delivering the Benefits of Persistence to System Construction and Execution
– Cutts
- 1992
|
|
18
|
Persistent Program Construction through Browsing and User Gesture with some Typing
– Farkas, Dearle, et al.
- 1992
|
|
12
|
Linguistic Reflection
– Kirby, Morrison, et al.
- 1998
|
|
9
|
ABERDEEN: A Browser allowing intERactive DEclarations and Expressions in Napier88
– Farkas
- 1991
|
|
7
|
Orthogonal Persistence and Ada
– Crawley, C, et al.
- 1994
|
|
7
|
Using Persistence to support Incremental System Construction
– Dearle, Cutts, et al.
- 1993
|
|
7
|
R.,"S-algol: a simple algol
– Morrison
- 1982
|
|
3
|
Persistence Extensions to Ada95
– Crawley, C, et al.
- 1995
|
|
3
|
An Integrated Approach to the Generation of Environments from Formal Specifications
– Dearle, Oudshoorn, et al.
- 1994
|
|
3
|
Access values pointing to any type
– Green
- 1990
|
|
2
|
Using inheritence to provide schema views in a shared persistent object database
– Charlton, Leng, et al.
- 1994
|
|
2
|
The ORBAT Demonstrator: Using Napier88 for Prototyping Defence Related Software
– Crawley
- 1996
|
|
2
|
Use of orthogonal persistence technology in industrial and application oriented research and development
– Dearle
- 1994
|
|
2
|
A persistent User Interface Management System for Napier88", Honours thesis
– Engelhardt, Tiffany
- 1992
|
|
2
|
Ada persistence through an OODBMS O2
– Millan, Mulatero
- 1995
|
|
2
|
An OMDG Ada95 binding
– Rowley
- 1995
|
|
2
|
Prototyping Technology in the DARPA Strategic Software Technology Program
– Schwartz
- 1988
|
|
1
|
report on requiremtns for a common prototyping system
– Gabriel
- 1989
|
