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