A proof tool for reasoning about functional programs

DOI10.1007/BFB0105400zbMATH Open1543.68082MaRDI QIDQ6567707FDOQ6567707

Authors: Graham P. Collins 

Publication date: 5 July 2024

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)