A complete semantics for SMALLTALK-80

Computer Languages - Tập 21 - Trang 67-79 - 1995
Wolfgang Golubski1, Wolfram-M. Lippe1
1Westfälische Wilhelms-Universität, Fachbereich 15, Institut für Numerische und Instrumentelle Mathematik-Informatik, Einsteinstr. 62, D-48149 Münster, Germany

Tài liệu tham khảo

Mosses, 1989, Unified algebras and action semantics, 17 Appel, 1991 Cook, 1989, A denotational semantics of inheritance and its correctness, 433 Kamin, 1988, Inheritance in SMALLTALK-80: a denotational definition, 80 Reddy, 1988, Objects as closures: abstract semantics of object oriented languages, 289 Wolczko, 1988, Semantics of object oriented languages Goldberg, 1983 Cardelli, 1984, A semantics of multiple inheritance, 51 Cardelli, 1988, A semantics of multiple inheritance, Inform. Computat., 76, 138, 10.1016/0890-5401(88)90007-7 Langmaack, 1973, On correct procedure parameter transmission in higher programming languages, Acta Informatica, 2, 110, 10.1007/BF00264026 Lippe, 1979, LISP/N basic definitions and properties Lippe, 1980, Semantics for LISP without reference to an interpreter, 240 Golubski, 1992, Kopierregelsemantik für SMALLTALK-80-artige Programmiersprachen Stoy, 1977