Pages that link to "Item:Q1162352"
From MaRDI portal
The following pages link to Compiler specification and verification (Q1162352):
Displaying 7 items.
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- A demonstrably correct compiler (Q749202) (← links)
- Correct hardware synthesis (Q766178) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Deriving correctness properties of compiled code (Q1309251) (← links)
- The automated proof of a trace transformation for a bitonic sort (Q1822503) (← links)
- Mechanical Software Verification (Q2841237) (← links)
