From Outermost to Context-Sensitive Rewriting

DOI10.1007/978-3-642-02348-4_22MaRDI QIDQ3636831zbMATH OpenOpenAlexFDO

Authors Jörg Endrullis, Dimitri Hendriks

Publication date 30 June 2009

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://research.vu.nl/en/publications/b4e1e337-d0c6-4277-88b5-97a045ca57c1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Transforming Outermost into Context-Sensitive Rewriting
• Termination of context-sensitive rewriting
• From Outermost Termination to Innermost Termination
• A Transformational Approach to Prove Outermost Termination Automatically
• Proving termination of context-sensitive rewriting by transformation

Cites work

• A Transformational Approach to Prove Outermost Termination Automatically
• From Outermost Termination to Innermost Termination
• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 1332639 (Why is no real title available?)
• scientific article; zbMATH DE number 794240 (Why is no real title available?)
• Improving Context-Sensitive Dependency Pairs
• Matrix Interpretations for Proving Termination of Term Rewriting
• Termination Competition (termCOMP 2015)
• Termination of term rewriting using dependency pairs

Cited in

(8)

• Scattered versus context-sensitive rewriting
• Applications and extensions of context-sensitive rewriting
• Transforming Outermost into Context-Sensitive Rewriting
• From Outermost Termination to Innermost Termination
• Lazy productivity via termination
• Context rewriting
• Characterizing and proving operational termination of deterministic conditional term rewriting systems
• Context-sensitive dependency pairs

Describes a project that uses

Uses Software

• CARIBOO

This page was built for publication: From Outermost to Context-Sensitive Rewriting

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