A Complete Semantics for SMALLTALK-80.

Wolfgang Golubski Wolfram-Manfred Lippe

Published in: Comput. Lang. (1995)

Keyphrases

object oriented
formal semantics
programming language
logic programming
semantic representation
nonmonotonic logics
learning algorithm
search engine
general purpose
argumentation semantics