Pages that link to "Item:Q5408538"
From MaRDI portal
The following pages link to A kripke logical relation between ML and assembly (Q5408538):
Displayed 9 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Correctness of compiling polymorphism to dynamic typing (Q5371998) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)