Operational semantics for declarative multi-paradigm languages.

Elvira Albert Michael Hanus Frank Huch Javier Oliver Germán Vidal

Published in: J. Symb. Comput. (2005)

Keyphrases

operational semantics
declarative semantics
declarative language
formal semantics
mental states
denotational semantics
data model
model theoretic
activity diagrams
artificial intelligence
databases
high level
query language
knowledge representation
logic programming language
agent programming