Confluence Framework: Proving Confluence with CONFident
- 11 September 2022
- book chapter
- Published by Springer Nature
- p. 24-43
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Mechanizing and Improving Dependency PairsJournal of Automated Reasoning, 2007
- Generalizing Newman’s Lemma for Left-Linear Rewrite SystemsLecture Notes in Computer Science, 2006
- Operational termination of conditional term rewriting systemsInformation Processing Letters, 2005
- The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs2005
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides1995
- Completeness results for basic narrowingApplicable Algebra in Engineering, Communication and Computing, 1994
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Confluence of conditional rewrite systems1988
- On the Church-Rosser property for the direct sum of term rewriting systemsJournal of the ACM, 1987
- Operational and Semantic Equivalence Between Recursive ProgramsJournal of the ACM, 1980