An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.

Kim B. Bruce Jonathan Crabtree Gerlad Kanapathy

Published in: MFPS (1993)

Keyphrases

operational semantics
object oriented programming language
object oriented
formal semantics
real time systems
data model
mental states
model theoretic
denotational semantics
design patterns
activity diagrams
query language
test cases
intelligent agents
speech acts
low cost
agent programming