Context-Sensitive Dependency Pairs

DOI10.1007/11944836_28MaRDI QIDQ5385994zbMATH OpenOpenAlexFDO

Authors Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas

Publication date 17 April 2008

Published in FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11944836_28

zbMATH Keywords

dependency pairsprogram analysisterm rewritingtermination

Mathematics Subject Classification ID

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

Recommendations

• Context-sensitive dependency pairs
• Improving Context-Sensitive Dependency Pairs
• Rewriting Techniques and Applications
• Improving the context-sensitive dependency graph
• Relative termination via dependency pairs
• Mechanizing and improving dependency pairs
• A static higher-order dependency pair framework
• Improving dependency pairs
• Dependency relations

Cited in

(16)

• Guessing singular dependencies
• Using context-sensitive rewriting for proving innermost termination of rewriting
• Improving the context-sensitive dependency graph
• Proving termination of context-sensitive rewriting with MU-TERM
• Decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems
• Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
• Dependent pairs
• Usable Rules for Context-Sensitive Rewrite Systems
• Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
• Proving termination in the context-sensitive dependency pair framework
• Automatic proofs of termination with elementary interpretations
• Improving Context-Sensitive Dependency Pairs
• A static higher-order dependency pair framework
• Characterizing and proving operational termination of deterministic conditional term rewriting systems
• Mechanizing and improving dependency pairs
• Context-sensitive dependency pairs

This page was built for publication: Context-Sensitive Dependency Pairs

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