A Relative Dependency Pair Framework
Christian Sternagel, Ren\'e Thiemann
TL;DR
This paper introduces a generalized relative dependency pair framework that allows for splits, enhancing the flexibility and applicability of dependency pair techniques in termination analysis.
Contribution
It extends the traditional dependency pair framework to a relative version that incorporates splitting, providing a new approach for termination proofs.
Findings
Enables more flexible termination proofs
Supports splitting in dependency pairs
Improves analysis capabilities
Abstract
In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Advanced Software Engineering Methodologies