Analyzing Program Analyses.

Roberto Giacobazzi Francesco Logozzo Francesco Ranzato

Published in: POPL (2015)

Keyphrases

computer programs
real time
mobile robot
artificial intelligence
case study
automatic programming
data sets
data mining
computer vision
lower bound
relational databases
artificial neural networks
programming language
comprehensive analysis
program execution