Inheritance in smalltalk-80: a denotational definition

A denotational semantic definition of SMALLTALK-80 is given. Its most notable characteristic is a surprisingly simple treatment of inheritance. An executable version of the semantics, written in STANDARD ML, is also described.

[1]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[2]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPLSA '86.

[3]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[4]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[5]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[6]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[7]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[8]  Mario Wolczko,et al.  Semantics of Smalltalk-80 , 1987, ECOOP.

[9]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[10]  Robin Milner,et al.  A Metalanguage for interactive proof in LCF , 1978, POPL.

[11]  Henry Lieberman,et al.  Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.

[12]  Robin Milner,et al.  A proposal for standard ML , 1984, LFP '84.

[13]  William R. Cook,et al.  A denotational semantics of inheritance , 1989 .

[14]  Robert D. Tennent.  A denotational definition of the programming language pascal , 1977 .

[15]  Joe Stoy,et al.  Denotational Semantics , 1977 .

[16]  Norman Meyrowitz,et al.  Conference proceedings on Object-oriented programming systems, languages, and applications , 1986, OOPSLA 1987.

[17]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[18]  Ralph E. Johnson,et al.  Type-checking Smalltalk , 1986, OOPLSA '86.

[19]  William D. Clinger,et al.  Foundations of Actor Semantics , 1981 .