Fully-abstract compilation by approximate back-translation
From MaRDI portal
Publication:2828252
Recommendations
Cited in
(10)- Linear capabilities for fully abstract compilation of separation-logic-verified code
- Fully abstract compilation to JavaScript
- Modular, fully-abstract compilation by approximate back-translation
- Robustly safe compilation
- An equivalence-preserving CPS translation via multi-language semantics
- Fully abstract compilation via universal embedding
- Fully Abstract and Robust Compilation
- Typed closure conversion preserves observational equivalence
- Trace-relating compiler correctness and secure compilation
- StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
This page was built for publication: Fully-abstract compilation by approximate back-translation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828252)