Polyvariant Flow Analysis with Constrained Types.

Scott F. Smith Tiejun Wang

Published in: ESOP (2000)

Keyphrases

flow analysis
information flow
real time
computer vision
forensic analysis
database
information retrieval
multiscale
objective function