Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

113

ENTCS
2010

98views more ENTCS 2010»

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

15 years 6 days ago

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

Download www.lix.polytechnique.fr

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

Eric Goubault, Stéphane Le Roux, Jeremy Lec

Real-time Traffic

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

claim paper

Related Content

» Integrating Physical Systems in the Static Analysis of Embedded Control Software

» A Fast and Precise Static Loop Analysis Based on Abstract Interpretation Program Slicing a...

» Static Analysis by Abstract Interpretation of the Quasisynchronous Composition of Synchron...

» Static Analysis Abstract Interpretation and Verification in Constraint Logic Programming

» A family of abstract interpretations for static analysis of concurrent higherorder program...

» Towards a Flow Analysis for Embedded System C Programs

» Static Program Analysis via 3Valued Logic

» Static Analysis of Prolog with Cut

» Mathematical programming based debugging

Post Info
More Details (n/a)

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)