Pages that link to "Item:Q2936808"
From MaRDI portal
The following pages link to Biorthogonality, step-indexing and compiler correctness (Q2936808):
Displaying 12 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)
- Strongly typed term representations in Coq (Q2392480) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go (Q6065507) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)