Login / Signup
An Operational Semantics for Constraint-Logic Imperative Programming.
Jan C. Dageförde
Herbert Kuchen
Published in:
DECLARE (2017)
Keyphrases
</>
operational semantics
model theoretic
formal semantics
declarative semantics
term rewriting
programming language
mental states
data model
denotational semantics
activity diagrams
agent programming
speech acts
automated reasoning
database
software engineering
database systems
case study