The following pages link to Mechanized semantics (Q3060983):
Displaying 4 items.
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
- Towards a theory of semantics and compilers for programming languages (Q5402521) (← links)
- Towards substructural property-based testing (Q6102253) (← links)