Search Sciweavers | Sciweavers

74 search results - page 2 / 15

» Certified Static Analysis by Abstract Interpretation

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

13 years 10 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

click to vote

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

13 years 7 months ago

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

click to vote

TAP
2008
Springer

110views Hardware» more TAP 2008»

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

13 years 6 months ago

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

13 years 1 months ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

click to vote

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

13 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers