Annotated Inclusion Constraints for Precise Flow Analysis.

Ana Milanova Barbara G. Ryder

Published in: ICSM (2005)

Keyphrases

flow analysis
information flow
constrained optimization
linear constraints
forensic analysis
database
neural network
information retrieval
artificial intelligence
knowledge base
data mining techniques
linear programming
constraint satisfaction
constraint programming
mixed integer