ON DENOTATIONAL SEMANTICS OF SMALLTALK-80
Smalltalk－80的指称语义研究

Smalltalk-80 is the archetypal object-oriented programming language and environment. This paper briefly introduces a formal model of Smalltalk-80. The static and dynamic denotational semantics of Smalltalk-80 are described through the formal model.