Search Sciweavers | Sciweavers

525 search results - page 4 / 105

» Static Interpretation of Modules

154

Voted

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 7 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

118

click to vote

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

15 years 7 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

114

Voted

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

15 years 4 months ago

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

117

click to vote

TAP
2008
Springer

110views Hardware» more TAP 2008»

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

15 years 3 months ago

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

108

Voted

CORR
2011
Springer

157views Education» more CORR 2011»

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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers