Correction of Functional Logic Programs
Abstract elided by the publisher.
Related papers
- Automatic diagnosis and correction of logical errors for functional programming assignments OOPSLA 2018
- Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning ECOOP 2024
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- Engineering Software Correctness JFP 2007
- Certifying Information Flow Properties of Programs: An Axiomatic Approach POPL 1979
- HOLL: Program Synthesis for Higher Order Logic Locking TACAS 2022
- Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic PLDI 2026
- Specialization of Inductively Sequential Functional Logic Programs ICFP 1999