Sciweavers

1445 search results - page 8 / 289

» Abstract Interpretation of Logic Programs

116

Voted

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 11 months ago

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

134

Voted

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

15 years 11 months ago

Strong Preservation as Completeness in Abstract Interpretation

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

128

Voted

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 10 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

116

Voted

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 10 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

146

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 10 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

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