A Type System for Complexity Flow Analysis.

Jean-Yves Marion

Published in: LICS (2011)

Keyphrases

flow analysis
information flow
computational cost
machine learning
complexity analysis
image processing
data sets
search engine
case study