Search Sciweavers | Sciweavers

2203 search results - page 18 / 441

» Temporal Abstract Interpretation

185

click to vote

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 11 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

129

click to vote

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 11 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

158

Voted

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 »

199

Voted

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 »

127

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers