Login / Signup
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