A Functional View of Imperative Information Flow [chapter]

Thomas H. Austin, Cormac Flanagan, Martín Abadi
2012 Lecture Notes in 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.
doi:10.1007/978-3-642-35182-2_4 fatcat:3p46i3qswbbtnnwce7oypjfqg4