The following pages link to CFML (Q25202):
Displaying 6 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Proof-producing translation of higher-order logic into pure and stateful ML (Q2875232) (← links)
- Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation (Q2945628) (← links)
- Proof-producing synthesis of ML from higher-order logic (Q5168887) (← links)
- Characteristic formulae for the verification of imperative programs (Q5176992) (← links)
