Sciweavers

1689 search results - page 27 / 338

» Refining abstract interpretations

148

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 8 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

99

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 8 months ago

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

122

LPAR
2001
Springer

144views Automated Reasoning» more LPAR 2001»

Efficient Negation Using Abstract Interpretation

15 years 8 months ago

Efficient Negation Using Abstract Interpretation

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

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

claim paper

Read More »

111

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 8 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

162

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 8 months ago

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

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

« Prev « First page 27 / 338 Last » Next »