The following pages link to (Q2852100):
Displaying 4 items.
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Refinement-Based Verification of Communicating Unstructured Code (Q4571128) (← links)