A Complete Semantics for SMALLTALK-80

  title={A Complete Semantics for SMALLTALK-80},
  author={Wolfgang Golubski and Wolfram-Manfred Lippe},
  journal={Comput. Lang.},
In this paper we introduce a formal model of the object-oriented programming language SMALLTALK-80. The model can be useful for different applications in the framework of language design and implementation like compiler or interpreter generation, correctness proofs of the implementations, and standardization of the language. object-oriented programming languages semantics denotational semantics SMALLTALKformal model operational 

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…