An Accurate Type System for Information Flow in Presence of Arrays.

Séverine Fratani Jean-Marc Talbot

Published in: FMOODS/FORTE (2011)

Keyphrases

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