The Refined Operational Semantics of Constraint Handling Rules.

Gregory J. Duck Peter J. Stuckey Maria J. García de la Banda Christian Holzbaur

Published in: ICLP (2004)

Keyphrases

operational semantics
constraint handling rules
formal semantics
model theoretic
mental states
declarative semantics
denotational semantics
data model
activity diagrams
database
database systems
relational databases
query language