Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

15 years 5 months ago

nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St

Eric Goubault, Stéphane Le Roux, Jeremy Lec

Abstract Interpretation | ENTCS 2010 | Mathematical Programming | Software Engineering | ´ecole Polytechnique |

claim paper

Added	02 Mar 2011
Updated	02 Mar 2011
Type	Journal
Year	2010
Where	ENTCS
Authors	Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli

Comments (0)