A compositional semantics for CHR

DOI10.1145/1462179.1462183zbMath1351.68050arXivcs/0603079OpenAlexW2045796613MaRDI QIDQ2946569

Maurizio Gabbrielli, Maria Chiara Meo

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0603079

zbMATH Keywords

semanticsConstraint Handling Rules

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

A Compositional Semantics for CHR with Propagation Rules ⋮ (Co-)Inductive semantics for Constraint Handling Rules ⋮ As time goes by: Constraint Handling Rules