A Complete Semantics for SMALLTALK-80

@article{Golubski1995ACS,
  title={A Complete Semantics for SMALLTALK-80},
  author={Wolfgang Golubski and Wolfram-Manfred Lippe},
  journal={Comput. Lang.},
  year={1995},
  volume={21},
  pages={67-79}
}
  • Wolfgang Golubski, Wolfram-Manfred Lippe
  • Published in Comput. Lang. 1995
  • Computer Science
  • 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 compiter or interpreter generation, correctness proofs of the implementations, and standardization of the language. 

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-3 OF 3 CITATIONS

    A new model for Context-Oriented Programs

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Testing Automation of Context-Oriented Programs Using Separation Logic

    VIEW 1 EXCERPT
    CITES METHODS

    Bringing Scheme programming to the iPhone - Experience

    VIEW 1 EXCERPT
    CITES METHODS

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 15 REFERENCES