Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.

Thomas Gilray Michael D. Adams Matthew Might

Published in: ICFP (2016)

Keyphrases

flow analysis
dynamic allocation
information flow
control system
resource allocation
control method
forensic analysis
knowledge base
control theory
information retrieval
information systems
supply chain
data acquisition
process control