Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
The C++ programming language
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Using prototypical objects to implement shared behavior in object-oriented systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented programming in Smalltalk and ADA
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Simulating inheritance with Ada
ACM SIGAda Ada Letters
InnovAda: true object-oriented programming in Ada
Journal of Object-Oriented Programming
Rational for the design of reusable abstract data types implemented in Ada
ACM SIGAda Ada Letters
Is Ada really an object-oriented programming language?
Journal of Pascal, Ada & Modula-2
Object-oriented programming techniques with Ada: an example
ACM SIGAda Ada Letters
Object-oriented programming through type extension in Ada 9X
ACM SIGAda Ada Letters
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Abstraction Mechanisms and Language Design
Abstraction Mechanisms and Language Design
ACTOR SYSTEMS FOR REAL-TIME COMPUTATION
ACTOR SYSTEMS FOR REAL-TIME COMPUTATION
Simula Begin
Experiences in object oriented development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Object-oriented design and automatic Ada code generation in the education of software engineers
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
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
Hi-index | 0.00 |
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.