Skip to main content
profile image
Selected Works of Thomas H. Austin
Article
A Functional View of Imperative Information Flow
Programming Languages and Systems Lecture Notes in Computer Science (2012)
  • Thomas H. Austin, University of California, Santa Cruz
  • Cormac Flanagan, University of California, Santa Cruz
  • Martin Abadi, University of California, Santa Cruz
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
  • Functional view,
  • Information flow,
  • Imperative language,
  • data security,
  • Electronics,
  • programming languages
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" Programming Languages and Systems Lecture Notes in Computer Science Vol. 7705 (2012)
Available at: http://works.bepress.com/thomas_austin/9/