Combining termination criteria by isolating deletion

DOI10.1007/978-3-642-15928-2_14MaRDI QIDQ4931316zbMATH OpenOpenAlexFDO

Authors Dénes Bisztray, R. Heckel

Publication date 4 October 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15928-2_14

zbMATH Keywords

terminationgraph transformationsmodel transformations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Combining termination proofs in model transformation systems
• Termination analysis for graph transformation systems
• Modular termination of graph transformation
• Termination criteria for DPO transformations with injective matches
• Towards a systematic method for proving termination of graph transformation systems

Cited in

(6)

• Towards a systematic method for proving termination of graph transformation systems
• Combining graph transformation and algebraic specification into model transformation
• Termination analysis for graph transformation systems
• Combining termination proofs in model transformation systems
• Fundamental Approaches to Software Engineering
• Modular termination of graph transformation

This page was built for publication: Combining termination criteria by isolating deletion

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