A proof tool for reasoning about functional programs

DOI10.1007/BFB0105400MaRDI QIDQ6567707zbMATH OpenFDO

Authors Graham P. Collins

Publication date 5 July 2024

Full work available at URL https://doi.org/10.1007/BFB0105400

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Theorem Proving in Higher Order Logics
• Proof Tool Support for Explicit Strictness
• Adapting functional programs to higher order logic
• Action semantics reasoning about functional programs
• Imperative Functional Programming with Isabelle/HOL

This page was built for publication: A proof tool for reasoning about functional programs

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