Thomas H. Austin, Cormac Flanagan, Martin Abadi
09/06/2012 05:51 PM
Computer Science
We analyze dynamic information-flow control for imperative languages in terms of functional computation. Specifically, we translate an imperative language to a functional language, thus accounting for the main difficulties of information-flow control in the imperative language.