Graph Transformation Systems in CHR

DOI10.1007/978-3-540-74610-2_17zbMATH Open1213.68165OpenAlexW1837415053MaRDI QIDQ3608658FDOQ3608658

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

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

Mathematics Subject Classification ID

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

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)