Pages that link to "Item:Q396975"
From MaRDI portal
The following pages link to Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction (Q396975):
Displayed 6 items.
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- A formal model of real-time program compilation (Q1603710) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- A Completely Verified Realistic Bootstrap Compiler (Q5696931) (← links)