Graph Transformation Systems in CHR

DOI10.1007/978-3-540-74610-2_17MaRDI QIDQ3608658zbMATH OpenOpenAlexFDO

Authors Frank Raiser

Publication date 5 March 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74610-2_17

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Recommendations

• Analysing graph transformation systems through constraint handling rules
• Strong Joinability Analysis for Graph Transformation Systems in CHR
• Sound and complete abstract graph transformation
• Transformation systems with incremental negative application conditions
• CHR in action

Cited in

(3)

• Analysing graph transformation systems through constraint handling rules
• Strong Joinability Analysis for Graph Transformation Systems in CHR
• Towards an embedding of graph transformation in intuitionistic linear logic

This page was built for publication: Graph Transformation Systems in CHR

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