Orthogonal persistence and Ada

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Orthogonal persistence and Ada

Full text

Pdf (1.39 MB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '94 table of contents

Baltimore, Maryland, United States

Pages: 298 - 308

Year of Publication: 1994

ISBN:0-89791-666-2

Authors

Stephen Crawley	Information Technology Division, Defence Science and Technology Organisation, Salisbury SA 5108, Australia
Michael Oudshoorn	Department of Computer Science, University of Adelaide, Adelaide SA 5005, Australia

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 7, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/197694.197731 What is a DOI?

ABSTRACT

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 of adding persistence support to Ada, either as extensions to Ada 9X, or as an integral part of the next version of the language.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Ada 9X Mapping/Revision Team, "Ada 9X Reference Manual: draft version 4.0", Intermetrics Inc, September 1993.
	2	Ada 9X Mapping/Revision Team, "Ada 9X Rationale: draft version 4.0", Intermetrics Inc, September 1993.
	3	Antonio Albano , Luca Cardelli , Renzo Orsini, GALILEO: a strongly-typed, interactive conceptual language, ACM Transactions on Database Systems (TODS), v.10 n.2, p.230-260, June 1985 [doi>10.1145/3857.3859]
	4	Malcolm Atkinson , Ken Chisholm , Paul Cockshott, PS-algol: an algol with a persistent heap, ACM SIGPLAN Notices, v.17 n.7, July 1982 [doi>10.1145/988376.988378]
	5	M.P. Atkinson, P.J. Bailey, J.K. Chisholm, W.P. Cockshott and R. Morrison, "An Approach to Persistent Programming", Computer Journal Vo} 26 No 4, pp360-365, 1983.
	6	M.P. Atkinson, K.J. Chisholm and W.P. Cockshott, "Algorithms for a Persistent Heap", Software - Practice and Experience, Vol 13 No 3, pp259-272, March 1983.
	7	Malcolm P. Atkinson , O. Peter Buneman, Types and persistence in database programming languages, ACM Computing Surveys (CSUR), v.19 n.2, p.105-170, June 1987 [doi>10.1145/62070.45066]
	8	Henry G. Baker, Safe and leakproof resource management using Ada83 limited types, ACM SIGAda Ada Letters, v.XIII n.5, p.32-42, Sept./Oct. 1993 [doi>10.1145/165354.165362]
	9	Hans-Juergen Boehm , Mark Weiser, Garbage collection in an uncooperative environment, Software—Practice & Experience, v.18 n.9, p.807-820, September 1988 [doi>10.1002/spe.4380180902]
	10	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	11	L. Cardelli, "Typeful Programming", SRC Report 45, DEC Systems Research Centre, Palo Alto, 1989.
	12	R.C.H. Connor, "The Napier Type-Checking Module", PPRR-58-88, University of St Andrews, March 1988.
	13	S.C. Crawley, "Faster Dynamic Type Checking in a Persistent Environment", ESRL Research Report, DSTO, Australia, to appear.
	14	S.C. Crawley, "The ORBAT Demonstrator: Using Napier88 for Prototyping Defence Related Software", ESRL Research Report, DSTO, Australia, to appear.
	15	Q.I. Cutts, "Delivering the Benefits of Persistence to System Construction and Execution", Ph.D. thesis, Research Report CS/93/4, University of St Andrews, 1993.
	16	A. Dearie, "Environments: a Flexible Binding Mechanism to support System Evolution", in Proc. 22nd Hawaii Intl. Conf. on Systems Science Vol 2, Hawaii, 1989.
	17	A. Dearie, Q.I. Cutts and R.C.H. Connor, "Using Persistence to support Incremental System Construction", Microprocessors and Microsystems Vol 17 No 3, 1993.
	18	A. Dearie, M.J. Oudshoorn and K. Wyrwas, "An integrated Approach to the Generation of Environments from Formal Specifications", in Australian Computer Science Communications, Vol 16 No 1, pp217-228, February 1994.
	19	James Donahue , Alan Demers, Data types are values, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.426-445, July 1985 [doi>10.1145/3916.3987]
	20	D. Engelhardt, "Tiffany. A persistent User interface Management System for Napier88", Honours thesis, University of Adelaide, 1992.
	21	A.M. Farkas, "Aberdeen. A Browser allowing intERactive DEclarations and Expressions in Napier88", Honours thesis, University of Adelaide, 1991.
	22	A.M. Farkas, A. Dearle, G.N.C. Kirby, Q.I. Cutts, R.C.H. Connor and R. Morrison, "Persistent Program Construction through Browsing and User Gesture with some Typing", in Proc. 5th Intl. Workshop on Persistent Object Systems, San Miniato, Italy, September 1992.
	23	Alex Farkas , Alan Dearle, Octopus: A Reflective Language Mechanism for Object Manipulation, Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, p.50-64, August 30-September 01, 1993
	24	R. P. Gabriel, Draft report on requirements for a common prototyping system, ACM SIGPLAN Notices, v.24 n.3, p.93-165, March 1989 [doi>10.1145/66083.66092]
	25	Geir Green, Access values pointing to any object, ACM SIGAda Ada Letters, v.X n.5, p.101-109, May 1990 [doi>10.1145/381837.381845]
	26	M. Herlihy and B. Liskov, "A Value Transmission Method for Abstract Types", Technical Report, Laboratory of Computer Science, MIT, 1981.
	27	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
	28	M.J. Jordan and D.W. Singer, "BCPL Paged Heap", Program Documentation, The Computer Laboratory, University of Cambridge, 1979.
	29	G.N.C. Kirby, R.C.H. Connor, Q.I. Cutts, A. Dearle, A.M. Farkas and R. Morrison, "Persistent Hyper Programs", in Proc. 5th Intl. Workshop on Persistent Object Systems, San Miniato, Italy, September 1992.
	30	B. Liskov, R Atkinson, T Bloom, E Moss, J.C. Schaffert, R Scheifler and A. Snyder, "CLU Language Manual", Lecture Notes in Computing Science No 144, Springer-Verlag, 1981.
	31	Pattie Maes, Concepts and experiments in computational reflection, Conference proceedings on Object-oriented programming systems, languages and applications, p.147-155, October 04-08, 1987, Orlando, Florida, United States
	32	David C. J. Matthews, Poly manual, ACM SIGPLAN Notices, v.20 n.9, August 1985 [doi>10.1145/988364.988371]
	33	D.C.J. Matthews, "Progress with Persistence in Poly and Poly/ML", in Proc. Appin Workshop on Persistent Object Systems, August 1987.
	34	R. Morrison , A. L. Brown , R. Carrick , R. Connor , A. Dearle, On the integration of object-oriented and process-oriented computation in persistent environments, Lecture notes in computer science on Advances in object-oriented database systems, p.334-339, September 1988, Bad Mu:9Ainster am Stein-Edernburg, Germany
	35	R. Morrison, C.J. Barter, A.L. Brown, R. Carrick, R. Connor, A. Dearle, A.J. Hurst and M.J. Livesey, "Language Design Issues in Supporting Process- Oriented Computation in Persistent Environments", in Proc. 22nd Hawaii Intl. Conf. on Systems Sciences, Hawaii, January 1989.
	36	R. Morrison, A.L. Brown, R.C.H. Connor and A. Dearle, "The Napier88 Reference Manual", PPRR-77~ 89, University of St Andrews, 1989.
	37	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	38	M. Peltu, "Managing IT Processwise", in Integration, VNU Business Publications, October 1992
	39	Joachim W. Schmidt , Florian Matthes, The rationale behind DBPL, Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems, p.389-395, May 1991, Rostock, Germany
	40	J.T. Schwartz, "Prototyping Technology in the DARPA Strategic Software Technology Program", in Proc Intl. Conf. on Computer Languages, Miami Beach, Florida, October 1988.
	41	Sergui S. Simmel , Ivan Godard, The Kala basket: a semantic primitive unifying object transactions, access control, versions, and configurations, ACM SIGPLAN Notices, v.26 n.11, p.230-246, Nov. 1991
	42	L.D. Smith, "The Management of Persistent Data in Modula-2", VLSIC Design Aids Group Report, Acorn Computers UK Ltd, 1984.
	43	D. Stemple, R.B. Stanton, T. Sheard, P. Philbrow, R. Morrison, G.N.C. Kirby, L. Fergaras, R.L. Cooper, R.C.H. Connor, M.P. Atkinson and S. Algaic, "Type-safe Linguistic Reflection", Research Report CS/92/6, University of St Andrews, 1991.
	44	Stanley M. Sutton, Jr. , Dennis Heimbigner , Leon J. Osterweil, Language constructs for managing change in process-centered environments, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.206-217, Dec. 1990
	45	Telesoft, "Introduction to RISC Ada", 1992.
	46	US Department of Defence, "Requirements for High Order Computer Programming Languages: Steelman", June 1978.
	47	US Department of Defence, "The Programming Language Ada Reference Manual", Lecture Notes in Computer Science No 106, Springer-Verlag, 1981.
	48	US Department of Defence, "Reference Manual for the Ada Programming Language", ANSI/MiL-STD- 1815A-1983, February 1983.
	49	US Department of Defence, "Ada Board's Recommended Ada 9X Strategy", Office of the Under Secretary for Defence Acquisition, Washington D.C., 1988.
	50	US Department of Defence, "Ada 9X Requirements", Office of the Under Secretary for Defence Acquisition, Washington D.C., December 1990.
	51	F. Vaughan, T. Schunke, B. Koch, A. Dearle, C. Marlin and C. Barter, "Casper: a Cached Architecture Supporting Persistence", Computing Systems Vol 3 No 3, pp337-363, Summer 1992.
	52	F. Vaughn and A. Dearie, "Grasshopper: a Persistent Operating System for Conventional Hardware", in Proc 2nd Intl,. Workshop on Object Orientation in Operating Systems, Dourdan France, Sept 1992.
	53	Francis Wai, Distributed PS-algol, Proceedings of the Third International Workshop on Persistent Object Systems, p.126-140, January 10-13, 1989
	54	Jack C. Wileden , Alexander L. Wolf , Charles D. Fisher , Peri L. Tarr, Pgraphite: an experiment in persistent typed object management, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.130-142, November 1988
	55	Benjamin Zorn, The measured cost of conservative garbage collection, Software—Practice & Experience, v.23 n.7, p.733-756, July 1993 [doi>10.1002/spe.4380230704]