Login / Signup
Verification-Oriented Language C-Light and Its Structural Operational Semantics.
Valery A. Nepomniaschy
Igor S. Anureev
Alexey V. Promsky
Published in:
Ershov Memorial Conference (2003)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
denotational semantics
declarative semantics
agent programming
data model
model checking
mental states
dynamic environments
speech acts
artificial intelligence
activity diagrams