A Denotational Semantics of Inheritance and its Correctness (1995)

by William Cook , Jens Palsberg
Citations:129 - 9 self

Documents Related by Co-Citation

475 A semantics of multiple inheritance – Luca Cardelli - 1988
1208 SmallTalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
237 Inheritance is not subtyping – W R Cook, W Hill, P S Canning - 1990
1341 Object-oriented Software Construction – Bertrand Meyer - 2004
1392 The C++ Programming Language – Bjarne Stroustrup - 1995
137 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
727 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
830 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
74 Objects as closures: Abstract semantics of object-oriented languages – Uday S. Reddy - 1988
47 The SIMULA 67 common base language – O-J Dahl, B Myhrhaug, K Nygaard - 1970
388 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
48 Type Theories and Object-Oriented Programming – Scott Danforth, Chris Tomlinson - 1988
706 Eiffel: the language – B Meyer - 1992
117 A parallel objectoriented language with inheritance and subtyping – Pierre America, Frank van der Linden - 1990
2972 Communication and Concurrency – R Milner - 1989
35 Two semantic models of object-oriented languages – Samuel N. Kamin, Uday S. Reddy - 1994
20 Denotational semantics of an object-oriented programming language with explicit wrappers. Volume 5 – Andreas V Hense - 1993
14 Ole Lehrmann Madsen, Birger M��ller-Pedersen, and Kristen Nygaard. The BETA programming language – Bent B Kristensen - 1987
41 A Type Declaration and Inference System for Smalltalk – A H Borning, D H Ingalls - 1982