Skip to main content

Inheritance in Smalltalk-80: A Denotational Definition

Samuel N. Kamin

DOI 10.1145/73560.73567 dblp BibTeX

Abstract

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.

Related papers

A Denotational Semantics of Inheritance and its Correctness OOPSLA 1989
Metaclasses are First Class: the ObjVlisp Model OOPSLA 1987
Mixin-based Inheritance OOPSLA 1990
Inheritance Is Not Subtyping POPL 1990
Interfaces and Specifications for the Smalltalk-80 Collection Classes OOPSLA 1992
An Alternative to Subclassing OOPSLA 1986
Reflective Facilities in Smalltalk-80 OOPSLA 1989
A Type Declaration and Inference System for Smalltalk POPL 1982