Type-based parametric analysis of program families.

Sheng Chen Martin Erwig

Published in: ICFP (2014)

Keyphrases

artificial intelligence
quantitative analysis
digital libraries
data analysis
automatic analysis
database
static analysis
statistical analysis
source code
hidden markov models
image analysis
natural language
multiscale
image sequences
clustering algorithm
learning algorithm
data sets