Specialization of Concurrent Guarded Multi-set Transformation Rules

DOI10.1007/11506676_9MaRDI QIDQ5458799zbMATH OpenOpenAlexFDO

Authors Thom Frühwirth

Publication date 24 April 2008

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11506676_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Unfolding for CHR programs
• scientific article; zbMATH DE number 1497831
• scientific article; zbMATH DE number 1973221
• Transactions in Constraint Handling Rules
• Logic Programming

Cited in

(6)

• Unfolding rules for GHC programs
• scientific article; zbMATH DE number 1973221 (Why is no real title available?)
• scientific article; zbMATH DE number 1497831 (Why is no real title available?)
• Unfolding for CHR programs
• Runtime repeated recursion unfolding in CHR: a just-in-time online program optimization strategy that can achieve super-linear speedup
• Transformational approach to program concretization

This page was built for publication: Specialization of Concurrent Guarded Multi-set Transformation Rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458799)