Login / Signup
A verified information-flow architecture.
Arthur Azevedo de Amorim
Nathan Collins
André DeHon
Delphine Demange
Catalin Hritcu
David Pichardie
Benjamin C. Pierce
Randy Pollack
Andrew Tolmach
Published in:
POPL (2014)
Keyphrases
</>
information flow
reactive systems
flow analysis
information flows
flow graph
functional modules
social networks
process management
communication networks
information security
supply chain
data flow
multi threaded
decision support
database
information transfer
multi context systems