A methodology for avoiding known compiler problems using static analysis.

Mamdouh Jemli Jean-Pierre Rosen

Published in: SIGAda (2010)

Keyphrases

static analysis
dynamic analysis
programming language
optimization problems
test suite
database
real world
decision trees
symbolic execution