On the Design of Generic Static Analyzers for Modern Imperative Languages

Roberto Bagnara Patricia M. Hill Andrea Pescetti Enea Zaffanella

Published in: CoRR (2007)

Keyphrases

real time
artificial intelligence
design process
data sets
neural network
user interface
domain specific
building blocks
computer aided
design decisions
database
design methodology
design space