Pages that link to "Item:Q2936804"
From MaRDI portal
The following pages link to Effective interactive proofs for higher-order imperative programs (Q2936804):
Displaying 4 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Reasoning about memory layouts (Q633298) (← links)
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
