Pages that link to "Item:Q3452245"
From MaRDI portal
The following pages link to Symbolic transfer function-based approaches to certified compilation (Q3452245):
Displaying 5 items.
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Inter-program Properties (Q3392934) (← links)
- Preservation of Proof Obligations from Java to the Java Virtual Machine (Q3541689) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)
