Search Sciweavers | Sciweavers

3516 search results - page 3 / 704

» Programming Languages: Application and Interpretation

149

Voted

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

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

16 years 1 months ago

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

130

click to vote

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

16 years 19 days ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

153

Voted

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

16 years 1 days ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

128

click to vote

ICFP
1999
ACM

66views Programming Languages» more ICFP 1999»

Static Interpretation of Modules

15 years 11 months ago

Download pl.postech.ac.kr

Martin Elsman

claim paper

Read More »

132

Voted

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers