A Functional View of Imperative Information Flow.

Thomas H. Austin Cormac Flanagan Martín Abadi

Published in: APLAS (2012)

Keyphrases

information flow
flow analysis
social networks
information security
information flows
supply chain
communication networks
functional modules
flow graph
multi context systems
database