Termination of rewriting with strategy annotations

DOI10.1007/3-540-45653-8_46MaRDI QIDQ2996200zbMATH OpenOpenAlexFDO

Authors Salvador Lucas

Publication date 6 May 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45653-8_46

zbMATH Keywords

rewriting strategiestermination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Termination of rewriting under strategies
• Using context-sensitive rewriting for proving innermost termination of rewriting
• Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
• Proving termination of context-sensitive rewriting by transformation
• scientific article; zbMATH DE number 2090080

Cited in

(16)

• On-demand strategy annotations revisited: an improved on-demand evaluation strategy
• Context-sensitive rewriting strategies
• Applications and extensions of context-sensitive rewriting
• Semantic foundations for generalized rewrite theories
• Using context-sensitive rewriting for proving innermost termination of rewriting
• Just-in-time: on strategy annotations
• Induction for termination with local strategies
• Lazy rewriting and context-sensitive rewriting
• Correct and complete (positive) strategy annotations for \textsf{OBJ}
• Outermost ground termination
• Rewriting strategies and strategic rewrite programs
• Termination of rewriting under strategies
• Proving termination properties with \textsc{mu-term}
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Relaxing monotonicity for innermost termination
• Proving termination of context-sensitive rewriting by transformation

Describes a project that uses

Uses Software

• OBJ3

This page was built for publication: Termination of rewriting with strategy annotations

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