The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques

DOI10.1007/s10817-020-09542-3zbMath1459.68092WikidataQ126346956 ScholiaQ126346956MaRDI QIDQ2228436

Salvador Lucas, José Meseguer, Raúl Gutiérrez

Publication date: 17 February 2021

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-020-09542-3

zbMATH Keywords

program analysis; conditional term rewriting; dependency pairs; operational termination

Mathematics Subject Classification ID

68N15: Theory of programming languages

68Q42: Grammars and rewriting systems

Uses Software

• Prover9
• Maude
• Mace4
• AProVE
• MTT
• Conditional Confluence
• AGES