Innermost termination of context-sensitive rewriting

DOI10.1007/3-540-45005-X_20MaRDI QIDQ4412115zbMATH OpenFDO

Authors Jürgen Giesl, Aart Middeldorp

Publication date 13 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2450/24500231.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Formal languages and automata (68Q45)

Recommendations

• Termination of context-sensitive rewriting
• Transformation techniques for context-sensitive rewrite systems
• Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
• Using context-sensitive rewriting for proving innermost termination of rewriting
• Proving termination of context-sensitive rewriting by transformation

Cited in

(16)

• Context-sensitive rewriting strategies
• Applications and extensions of context-sensitive rewriting
• Using context-sensitive rewriting for proving innermost termination of rewriting
• Innermost termination of rewrite systems by labeling
• Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
• Rewriting strategies and strategic rewrite programs
• Proving termination properties with \textsc{mu-term}
• Usable Rules for Context-Sensitive Rewrite Systems
• Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
• Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
• Transforming Outermost into Context-Sensitive Rewriting
• scientific article; zbMATH DE number 1332639 (Why is no real title available?)
• Termination of context-sensitive rewriting
• Termination of context sensitive rewriting by rewriting
• Transformation techniques for context-sensitive rewrite systems
• Relaxing monotonicity for innermost termination

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: Innermost termination of context-sensitive rewriting

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