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.
No takes yet. Share an insight, caveat, or question.
Henry G. Baker (1991) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: