Search Sciweavers | Sciweavers

3516 search results - page 3 / 704

» Programming Languages: Application and Interpretation

click to vote

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

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

15 years 4 months ago

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

click to vote

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

15 years 3 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

click to vote

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

15 years 3 months ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

click to vote

ICFP
1999
ACM

66views Programming Languages» more ICFP 1999»

Static Interpretation of Modules

15 years 1 months ago

Download pl.postech.ac.kr

Martin Elsman

claim paper

Read More »

click to vote

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers