Search Sciweavers | Sciweavers

1724 search results - page 17 / 345

» Abstract Interpreters for Free

159

click to vote

LPAR
2001
Springer

144views Automated Reasoning» more LPAR 2001»

Efficient Negation Using Abstract Interpretation

15 years 11 months ago

Download www.clip.dia.fi.upm.es

Susana Muñoz-Hernández, Juan Jos&eac...

claim paper

Read More »

136

click to vote

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

200

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 10 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

130

click to vote

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

15 years 10 months ago

Download www.cs.bris.ac.uk

Germán Puebla, Manuel V. Hermenegildo, John...

claim paper

Read More »

158

click to vote

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers