Efficient purely-dynamic information flow analysis.
Thomas H. AustinCormac FlanaganPublished in: PLAS (2009)
Keyphrases
- flow analysis
- information flow
- dynamically changing
- partial information
- data sets
- spatial information
- information sharing
- dynamic environments
- higher level
- information overload
- semantic information
- information processing
- distributed systems
- end users
- mobile robot
- keywords
- case study
- decision trees
- search engine
- information retrieval
- neural network