Transformation for Refining Unraveled Conditional Term Rewriting Systems

DOI10.1016/j.entcs.2007.02.048zbMath1277.68107MaRDI QIDQ2866802

Naoki Nishida, Masahiko Sakai, Tomohiro Mizutani

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.048

zbMATH Keywords

program transformation; unraveling; context-sensitive reduction; membership constraint

Mathematics Subject Classification ID

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Characterizing and proving operational termination of deterministic conditional term rewriting systems, Applications and extensions of context-sensitive rewriting, Transformations of Conditional Rewrite Systems Revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Operational termination of conditional term rewriting systems
• Conditional rewrite rules: Confluence and termination
• Elimination of conditions
• Unravelings and ultra-properties
• Computationally Equivalent Elimination of Conditions
• Term Rewriting and Applications
• Recent Trends in Algebraic Development Techniques
• Termination of logic programs: Transformational methods revisited