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 9 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 6 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 5 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 9 days 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 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers