Pages that link to "Item:Q5276160"
From MaRDI portal
The following pages link to Automated soundness proofs for dataflow analyses and transformations via local rules (Q5276160):
Displayed 7 items.
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Relational Decomposition (Q3087994) (← links)
- Inter-program Properties (Q3392934) (← links)
- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs (Q5048997) (← links)