Search Sciweavers | Sciweavers

3516 search results - page 4 / 704

» Programming Languages: Application and Interpretation

153

Voted

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 10 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

142

click to vote

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

15 years 8 months ago

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

125

click to vote

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

16 years 6 days ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

141

click to vote

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 11 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

149

Voted

POPL
1994
ACM

108views Programming Languages» more POPL 1994»

Building Interpreters by Composing Monads

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers