Combining termination criteria by isolating deletion

DOI10.1007/978-3-642-15928-2_14zbMATH Open1306.68063OpenAlexW1575687750MaRDI QIDQ4931316FDOQ4931316

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

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

zbMATH Keywords

terminationgraph transformationsmodel transformations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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)