[PDF][PDF] Lightweight Approaches to the Verification of Functional Programs
research-information.bris.ac.uk
The constraints of pure functional programs are often applauded for the resulting safety and
correctness guarantees. It is also claimed that these programs are easier to reason about …
correctness guarantees. It is also claimed that these programs are easier to reason about …
[PDF][PDF] Lightweight Approaches to the Verification of Functional Programs
E Jones - 2023 - research-information.bris.ac.uk
The constraints of pure functional programs are often applauded for the resulting safety and
correctness guarantees. It is also claimed that these programs are easier to reason about …
correctness guarantees. It is also claimed that these programs are easier to reason about …