Pages that link to "Item:Q5176993"
From MaRDI portal
The following pages link to An equivalence-preserving CPS translation via multi-language semantics (Q5176993):
Displayed 6 items.
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- StkTokens<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i> (Q5016212) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)