Search Sciweavers | Sciweavers

74 search results - page 1 / 15

» Certified Static Analysis by Abstract Interpretation

click to vote

FOSAD
2009
Springer

117views Security Privacy» more FOSAD 2009»

Certified Static Analysis by Abstract Interpretation

13 years 8 months ago

Download www.irisa.fr

d Static Analysis by Abstract Interpretation Fr

Frédéric Besson, David Cachera, Thom...

claim paper

Read More »

click to vote

ENTCS
2010

98views more ENTCS 2010»

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

13 years 2 months ago

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...

claim paper

Read More »

click to vote

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

13 years 9 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

13 years 11 months ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers