Object-oriented programming in Ada83—genericity rehabilitated

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Object-oriented programming in Ada83—genericity rehabilitated

Full text

Pdf (1.04 MB)

Source

ACM SIGAda Ada Letters archive
Volume XI , Issue 9 (Nov./Dec. 1991) table of contents

Pages: 116 - 127

Year of Publication: 1991

ISSN:1094-3641

Author

Henry G. Baker

Nimble Computer Corporation, 16231 Meadow Ridge Way, Encino, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 10, Citation Count: 5

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	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/122012.122018 What is a DOI?

ABSTRACT

A scheme for single-inheritance object-oriented programming in Ada83 is presented in which man y methods are determined at compile time using "generic" subprogram overloading. Unlike previous schemes for object-oriented programming in Ada83, which rely exclusively on derived types fo r inheritance, our scheme utilizes both derived types and generic units, and hence is more powerful. In particular, inheritance schemes based on derived types cannot handle the C++ concept o f "virtual function", while our scheme determines many of these methods at compile time. Our results call into question Bertrand Meyer's conclusions regarding the weakness of generic units.

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	Ada83. Reference Manual for the Ada® Programming Language. ANSI/MIL-STD-1815A-1983, USGPO, 1983.
	2	Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
	3	W. W. Bach, Is Ada really an object-oriented programming language?, Journal of Pascal, Ada & Modula-2, v.8 n.2, p.18-25, March/April 1989
	4	H. G. Baker, ACTOR SYSTEMS FOR REAL-TIME COMPUTATION, Massachusetts Institute of Technology, Cambridge, MA, 1978
	5	Baker, Henry. "Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same". Submitted to ACM TOPLAS, Aug. 1990.
	6	Henry G. Baker, Structured programming with limited private types in Ada: nesting if for the soaring eagles, ACM SIGAda Ada Letters, v.XI n.5, p.79-90, July/August 1991 [doi>10.1145/122215.122219]
	7	Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam, 1984.
	8	G.M. Birtwhistle , O.J. Dahl , B. Myhrhaug , K. Nygaard, Simula Begin, Chartwell-Bratt Ltd, 1979
	9	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]
	10	Cohen, Norman H. "Ada Subtypes as Subclasses (Version 1)". Tech. Rept. RC14912(#66747), IBM Watson Res. Lab., Yorktown Hts., NY, Sept. 1989, 45p.
	11	P. Collard, Object-oriented programming techniques with Ada: an example, ACM SIGAda Ada Letters, v.IX n.6, p.119-126, Sep./Oct. 1989 [doi>10.1145/71327.71334]
	12	DiMaio, Andrea, et al. "DRAGOON: an Ada-based object-oriented langauge for concurrent, real-time, distributed systems". Proc. Ada-Europe Int'l Conf., June 1989, Camb. Univ. Press, Camb., UK, 1989.
	13	Donaldson, C.M. "Dynamic binding and inheritance in an object-oriented Ada design". Proc. Ada-Europe Int'l Conf., June 1989, Camb. Univ. Press, Camb., UK, 1989.
	14	Forestier, J.P., et al. "Ada++: a class and inheritance extension for Ada". Proc. Ada-Europe Int'l Conf., June 1989, Camb. Univ. Press, Camb., UK, 1989.
	15	Gabriel, R.P. "The Why of Y". ACM Lisp Pointers 2, 2 (Oct.-Dec. 1988), 15-25.
	16	C. Genillard , N. Ebel , A. Strohmeler, Rational for the design of reusable abstract data types implemented in Ada, ACM SIGAda Ada Letters, v.IX n.2, p.62-71, Mar./Apr. 1989 [doi>10.1145/66031.66034]
	17	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	18	Hewitt, C., et al. "A Universal, Modular Actor Formalism for Artificial Intelligence". Proc. IJCAI, 1973.
	19	Paul N. Hilfinger, Abstraction Mechanisms and Language Design, MIT Press, Cambridge, MA, 1983
	20	Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, ACM SIGPLAN Notices, v.21 n.11, p.214-223, Nov. 1986
	21	Bertrand Meyer, Genericity versus inheritance, ACM SIGPLAN Notices, v.21 n.11, p.391-405, Nov. 1986
	22	E. Perez, Simulating inheritance with Ada, ACM SIGAda Ada Letters, v.VIII n.5, p.37-46, Sept./Oct. 1988 [doi>10.1145/51624.51625]
	23	Schwartz, Richard L., and Melliar-Smith, Peter M. "The Suitability of Ada for Artificial Intelligence Applications". Final Report, Contract #AAG29-79-C-0216, Army Research Office, SRI International, May 1980, 48p.
	24	Ed Seidewitz, Object-oriented programming in Smalltalk and ADA, ACM SIGPLAN Notices, v.22 n.12, p.202-213, Dec. 1987
	25	Ed Seidewitz, Object-oriented programming through type extension in Ada 9X, ACM SIGAda Ada Letters, v.XI n.2, p.86-97, March/April 1991 [doi>10.1145/122028.122033]
	26	Richard Simonian , Michael Crone, InnovAda: true object-oriented programming in Ada, Journal of Object-Oriented Programming, v.1 n.4, p.14-21, Nov./Dec. 1988
	27	Software Productivity Solutions, Inc. (SPS). "Classic-Ada Technical Specification". Melbourne, FL, 1988.
	28	Software Productivity Solutions, Inc. (SPS). "Classic-Ada User's Manual". Melbourne, FL, 1989.
	29	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	30	Taenzer, David, et al. "Object-Oriented Software Reuse: The Yoyo Problem". J. Obj.-Oriented Progr. 2, 3 (Sept./Oct. 1989), 30-35.
	31	Taft, Tucker, et al. [Ada-9X] DRAFT Mapping Document. Ada-9X Proj. Rep., Feb. 1991.
	32	Taft, Tucker, et al. [Ada-9X] DRAFT Mapping Rationale Document. Ada-9X Proj. Rep., Feb. 1991.
	33	Jurgen F. H. Winkler, Adding inheritance to Ada, Proceedings of the seventh Washington Ada symposium on Ada, p.241-244, July 1990, McLean, Virginia, United States [doi>10.1145/327011.327109]

CITED BY 5

	John A. Jurik , Roger S. Schemenaur, Experiences in object oriented development, Proceedings of the conference on TRI-Ada '92, p.189-197, November 16-20, 1992, Orlando, Florida, United States
	Magnus Kempe, The composition of abstractions: evolution of software component design with Ada 95, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.394-405, November 05-10, 1995, Anaheim, California, United States
	L. S. Tang, A comparison of Ada and C++, Proceedings of the conference on TRI-Ada '92, p.338-349, November 16-20, 1992, Orlando, Florida, United States
	K. El Guemhioui , S. A. Demurjian , T. J. Peters, Object-oriented design and automatic Ada code generation in the education of software engineers, Proceedings of the conference on TRI-Ada '93, p.126-136, September 18-23, 1993, Seattle, Washington, United States
	Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993