A overview of modular smalltalk
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A denotational semantics of inheritance and its correctness
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Organizing programs without classes
Lisp and Symbolic Computation
Project Oberon: the design of an operating system and compiler
Project Oberon: the design of an operating system and compiler
Engineering a programming language: the type and class system of Sather
Proceedings of the international conference on Programming languages and system architectures
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Nested and dynamic contract boundaries
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Hi-index | 0.00 |
Normal class-based code inheritance across component boundaries creates a dependency between the involved components. To avoid this, a specification of the inherited class must be part of the respective component's contract and the inheriting class must be specified with reference to this specification only. With this, inheritance can be replaced by object composition without sacrificing the possibility of static analysis, yet being more flexible