Sign in
Operational Semantics of an Imperative Language in Definite Clauses.
Jørgen Villadsen
Published in:
APPIA-GULP-PRODE (2003)
Keyphrases
</>
operational semantics
formal semantics
agent programming
mental states
model theoretic
declarative semantics
denotational semantics
first order logic
data model
database
activity diagrams