A Denotational Semantics of Inheritance (1989)

by William R. Cook , Brian Dalio , Tom Freeman , Craig Hansen-sturm , Victor Law , Leonard Nicholson , James Redfern , Tom Rockwell , Chris Warth
Citations:141 - 6 self

Active Bibliography

133 A Denotational Semantics of Inheritance and its Correctness – William Cook, Jens Palsberg - 1995
150 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
82 Making Type Inference Practical – Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach - 1992
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
18 An Algebraic Semantics of Subobjects – Jonathan G. Rossie, Jr., Daniel P. Friedman - 1996
29 Type Substitution for Object-Oriented Programming – Jens Palsberg, Michael I. Schwartzbach - 1990
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
8 A Reflective Model of Inheritance – Suresh Jagannathan, Gul Agha - 1992
5 Query Processing Issues in Object-Oriented Knowledge Base Systems – M. Tamer Özsu, Dave D. Straube, Randal Peters - 1994
3 From Types to Dataflow: Code Analysis for an Object-Oriented Language – Andrew J. Barnard, Andrew J. Barnard - 1993
5 Efficient Multimethods in a Single Dispatch Language – Brian Foote, Ralph E. Johnson, James Noble - 2005
4 CLOStrophobia: Its Etiology and Treatment – Henry G. Baker - 1991
3 Merging Interactive, Modular, and Object-Oriented Programming – Sho-Huan Simon Tung - 1992
89 Modularity meets Inheritance – Gilad Bracha , Gary Lindstrom - 1992
49 Type Theories and Object-Oriented Programming – Scott Danforth, Chris Tomlinson - 1988
47 A Survey of Object-Oriented Concepts – Oscar Nierstrasz - 1989
44 ML With Extended Pattern Matching And Subtypes – Lalita A. Jategaonkar - 1989
63 A Type System for Smalltalk – Justin O. Graver, Ralph E. Johnson - 1990