Deduction for Functional Programmers
No abstract available.
Related papers
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015
- Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus APLAS 2013
- Deductive Program Repair CAV 2015
- Deductive Verification of Floating-Point Java Programs in KeY TACAS 2021
- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification ESOP 2018
- Soundness of Hoare's Logic: An Automated Proof Using LCF TOPLAS 1987
- HaliVer: Deductive Verification and Scheduling Languages Join Forces TACAS 2024
- Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier OOPSLA 2023