Pages that link to "Item:Q2842861"
From MaRDI portal
The following pages link to An algebraic approach for compiling real-time programs (Q2842861):
Displaying 4 items.
- Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction (Q396975) (← links)
- Using program transformations to provide safety properties for real-time systems (Q704786) (← links)
- A formal model of real-time program compilation (Q1603710) (← links)
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems (Q1749143) (← links)