Sciweavers

1445 search results - page 7 / 289

» Abstract Interpretation of Logic Programs

134

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Backwards Abstract Interpretation of Probabilistic Programs

15 years 7 months ago

Backwards Abstract Interpretation of Probabilistic Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

115

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

15 years 6 months ago

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

110

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

15 years 9 months ago

Propositional Interpolation and Abstract Interpretation

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

112

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

Control-flow analysis of function calls and returns by abstract interpretation

15 years 9 months ago

Control-flow analysis of function calls and returns by abstract interpretation

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

89

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

15 years 9 months ago

Combining abstract interpreters

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

« Prev « First page 7 / 289 Last » Next »