Transformation for refining unraveled conditional term rewriting systems

DOI10.1016/J.ENTCS.2007.02.048MaRDI QIDQ2866802zbMATH OpenOpenAlexFDO

Authors Naoki Nishida, Tomohiro Mizutani, Masahiko Sakai

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 transformationunravelingcontext-sensitive reductionmembership constraint

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Notes on structure-preserving transformations of conditional term rewrite systems
• Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
• On soundness conditions for unraveling deterministic conditional rewrite systems
• Transformations of Conditional Rewrite Systems Revisited
• Unravelings and ultra-properties

Cites work

• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 4092756 (Why is no real title available?)
• scientific article; zbMATH DE number 1332639 (Why is no real title available?)
• Computationally Equivalent Elimination of Conditions
• Conditional rewrite rules: Confluence and termination
• Elimination of conditions
• Narrowing-based simulation of term rewriting systems with extra variables and its termination proof
• Operational termination of conditional term rewriting systems
• Recent Trends in Algebraic Development Techniques
• Term Rewriting and Applications
• Termination of logic programs: Transformational methods revisited
• Unravelings and ultra-properties

Cited in

(12)

• scientific article; zbMATH DE number 1405447 (Why is no real title available?)
• Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity
• Unravelings and ultra-properties
• scientific article; zbMATH DE number 4092746 (Why is no real title available?)
• Applications and extensions of context-sensitive rewriting
• Guided unfoldings for finding loops in standard term rewriting
• Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity
• Correctness of Context-Moving Transformations for Term Rewriting Systems
• On soundness conditions for unraveling deterministic conditional rewrite systems
• Characterizing and proving operational termination of deterministic conditional term rewriting systems
• Improving transformation systems for general E-unification
• Transformations of Conditional Rewrite Systems Revisited

This page was built for publication: Transformation for refining unraveled conditional term rewriting systems

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