Pages that link to "Item:Q5408538"
From MaRDI portal
The following pages link to A kripke logical relation between ML and assembly (Q5408538):
Displayed 14 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)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Pointers in Recursion: Exploring the Tropics (Q5089027) (← links)
- (Q5155670) (← 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)
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go (Q6065507) (← links)
- Semantic preservation for a type directed translation scheme of Featherweight Go (Q6109210) (← links)