A Graph-Based Operational Semantics of OO Programs.

Wei Ke Zhiming Liu Shuling Wang Liang Zhao

Published in: ICFEM (2009)

Keyphrases

operational semantics
declarative semantics
data model
agent programming
object oriented
formal semantics
mental states
denotational semantics
model theoretic
query language
programming language
general purpose
object oriented databases
activity diagrams
speech acts
relational databases
artificial intelligence