The compiler as a static analysis tool.

Robert B. K. Dewar

Published in: SIGAda (2007)

Keyphrases

analysis tool
programming language
machine learning
website
data sets
digital libraries
general purpose
objective function
distributed memory machines
constraint language
software systems
special case
multiscale
image processing
e learning
genetic algorithm
real world