Search Sciweavers | Sciweavers

3516 search results - page 4 / 704

» Programming Languages: Application and Interpretation

126

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 8 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

105

click to vote

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

15 years 6 months ago

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

click to vote

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 10 months ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

112

click to vote

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 8 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

123

Voted

POPL
1994
ACM

108views Programming Languages» more POPL 1994»

Building Interpreters by Composing Monads

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers