Answers are grounded in this paper and cite their sources.
Language-based security relies on the assumption that all potential attacks are bound by 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.
No takes yet. Share an insight, caveat, or question.
Ahmed et al. (2008) studied this question.