Continuity analysis of programs.

Swarat Chaudhuri Sumit Gulwani Roberto Lublinerman

Published in: POPL (2010)

Keyphrases

data analysis
real world
quantitative analysis
neural network
video sequences
statistical analysis
automatic analysis