Search Sciweavers | Sciweavers

74 search results - page 2 / 15

» Certified Static Analysis by Abstract Interpretation

181

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 9 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

135

click to vote

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

15 years 7 months ago

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

135

click to vote

TAP
2008
Springer

110views Hardware» more TAP 2008»

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

15 years 5 months ago

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

132

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

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

15 years 14 days ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

134

click to vote

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

15 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers