Login / Signup
Operational Semantics of Ada Ravenscar.
Irfan Hamid
Elie Najm
Published in:
Ada-Europe (2008)
Keyphrases
</>
operational semantics
formal semantics
declarative semantics
denotational semantics
data model
mental states
model theoretic
agent programming
database
databases
activity diagrams