Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
From MaRDI portal
Recommendations
- Automated Termination Analysis for Logic Programs by Term Rewriting
- Automated termination proofs for logic programs by term rewriting
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
- Proving termination of programs automatically with AProVE
- Termination Analysis with Calling Context Graphs
Cited in
(30)- Automatic synthesis of logical models for order-sorted first-order theories
- Proving operational termination of membership equational programs
- Lower bounds for runtime complexity of term rewriting
- Automatic termination analysis for functional and imperative programs (Thesis, TU Darmstadt)
- Methods for proving termination of rewriting-based programming languages by transformation
- Termination of lazy rewriting revisited
- Termination graphs for Java bytecode
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verifications of termination certificates
- Termination Competition (termCOMP 2015)
- Deciding Innermost Loops
- The Computability Path Ordering: The End of a Quest
- From Outermost Termination to Innermost Termination
- Loops under Strategies
- Proving Termination of Integer Term Rewriting
- Local Termination
- Degrees of Undecidability in Term Rewriting
- Proving termination by dependency pairs and inductive theorem proving
- scientific article; zbMATH DE number 756052 (Why is no real title available?)
- scientific article; zbMATH DE number 7453196 (Why is no real title available?)
- A Transformational Approach to Prove Outermost Termination Automatically
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving
- Localized operational termination in general logics
- Lazy productivity via termination
- scientific article; zbMATH DE number 970706 (Why is no real title available?)
- scientific article; zbMATH DE number 5785597 (Why is no real title available?)
- Termination Analysis with Calling Context Graphs
- Mechanizing and improving dependency pairs
- Termination of narrowing via termination of rewriting
- A compact fixpoint semantics for term rewriting systems
This page was built for publication: Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527303)
