An equivalence-preserving CPS translation via multi-language semantics
Amal Ahmed, M. Blume · 2011
Language-based security relies on the assumption that all potential attacks follow the rules of the language in question. When programs are compiled into a different language, this is true only if the translation process preserves observational equivalence.