Article
A Functional View of Imperative Information Flow Extended Version
Technical Report UCSC-SOE-12-15
(2012)
Abstract
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.
Keywords
- Dynamic information flow,
- Functional language,
- information-flow,
- Computer science
Disciplines
Publication Date
2012
Publisher Statement
SJSU users: use the following link to login and access the article via SJSU databases
Citation Information
Thomas H. Austin, Cormac Flanagan and Martin Abadi. "A Functional View of Imperative Information Flow Extended Version" Technical Report UCSC-SOE-12-15 (2012) Available at: http://works.bepress.com/thomas_austin/16/