Pages that link to "Item:Q877026"
From MaRDI portal
The following pages link to A compositional natural semantics and Hoare logic for low-level languages (Q877026):
Displaying 5 items.
- Certifying assembly with formal security proofs: the case of BBS (Q436406) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
