A logic for information flow in object-oriented programs.
Torben AmtoftSruthi BandhakaviAnindya BanerjeePublished in: POPL (2006)
Keyphrases
- information flow
- object oriented programs
- specification languages
- integration testing
- formal specification
- flow analysis
- social networks
- impact analysis
- object oriented
- information security
- communication networks
- information flows
- functional modules
- flow graph
- black box
- first order logic
- data mining
- information systems
- data warehouse
- supply chain