Pages that link to "Item:Q2655327"
From MaRDI portal
The following pages link to A formally verified compiler back-end (Q2655327):
Displayed 5 items.
- Programming Inductive Proofs (Q3058448) (← links)
- Relational Decomposition (Q3087994) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- Coquet: A Coq Library for Verifying Hardware (Q3100217) (← links)
- Formal Certification of a Resource-Aware Language Implementation (Q3183530) (← links)