Skip to main content
profile image
Selected Works of Thomas H. Austin
Article
A Functional View of Imperative Information Flow Extended Version
Technical Report UCSC-SOE-12-15 (2012)
  • Thomas H. Austin, University of California, Santa Cruz
  • Cormac Flanagan, University of California, Santa Cruz
  • Martin Abadi
Link
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/