All-Termination(T)

DOI10.1007/978-3-642-00768-2_33MaRDI QIDQ3617771zbMATH OpenOpenAlexFDO

Authors Panagiotis Manolios, Aaron Turon

Publication date 31 March 2009

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00768-2_33

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Interactive Termination Proofs Using Termination Cores
• The size-change principle for program termination
• An intuitionistic analysis of size-change termination
• Termination Analysis by Dependency Pairs and Inductive Theorem Proving
• Termination analysis for functional programs

Cites work

• A semantic basis for the termination analysis of logic programs
• ACL2s: ``the ACL2 sedan
• All-Termination(T)
• AProVE
• Certified Size-Change Termination
• Computer Aided Verification
• scientific article; zbMATH DE number 3702108 (Why is no real title available?)
• scientific article; zbMATH DE number 2043534 (Why is no real title available?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On computing minimal models
• Proving Conditional Termination
• Proving non-termination
• Ranking Functions for Size-Change Termination II
• Termination Analysis with Calling Context Graphs
• Termination of term rewriting using dependency pairs
• The size-change principle for program termination
• Verification, Model Checking, and Abstract Interpretation

Cited in

(2)

• All-Termination(T)
• Automated synthesis of induction axioms for programs with second-order recursion

Describes a project that uses

Uses Software

• ACL2
• ACL2s
• AProVE

This page was built for publication: All-Termination(T)

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