Sciweavers

3342 search results - page 1 / 669

» Automating Abstract Interpretation

10

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

13 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 »

16

PLILP
1992
Springer

125views Programming Languages» more PLILP 1992»

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

13 years 8 months ago

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

38

CL
2011
Springer

260views Automated Reasoning» more CL 2011»

Widening and narrowing operators for abstract interpretation

12 years 11 months ago

Widening and narrowing operators for abstract interpretation

Download www.dsi.unive.it

Agostino Cortesi, Matteo Zanioli

claim paper

Read More »

13

ICLP
1991
Springer

173views Automated Reasoning» more ICLP 1991»

Abstract Interpretation of Logic Programs

13 years 7 months ago

Abstract Interpretation of Logic Programs

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

Interpretation of Logic Programs 1

Patrick Cousot

claim paper

Read More »

8

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

13 years 8 months ago

Understanding Finiteness Analysis Using Abstract Interpretation

Download www.cs.arizona.edu

Peter A. Bigot, Saumya K. Debray, Kim Marriott

claim paper

Read More »

« Prev « First page 1 / 669 Last » Next »