Login / Signup
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach.
Eric Goubault
Stéphane Le Roux
Jeremy Leconte
Leo Liberti
Fabrizio Marinelli
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
abstract interpretation
mathematical programming
static analysis
dynamic analysis
linear programming
source code
mixed integer linear
combinatorial optimization
regular expressions
termination analysis
test suite