Sciweavers

4722 search results - page 10 / 945

» Representation-independent program analysis

118

Voted

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

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

15 years 10 months ago

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

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

97

Voted

ESOP
2007
Springer

110views Programming Languages» more ESOP 2007»

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

15 years 9 months ago

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

96

Voted

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

15 years 9 months ago

A probabilistic pointer analysis for speculative optimizations

Download www.eecg.toronto.edu

Jeff Da Silva, J. Gregory Steffan

claim paper

Read More »

99

Voted

PLDI
2006
ACM

87views Programming Languages» more PLDI 2006»

Refinement-based context-sensitive points-to analysis for Java

15 years 9 months ago

Refinement-based context-sensitive points-to analysis for Java

Download www.eecs.berkeley.edu

Manu Sridharan, Rastislav Bodík

claim paper

Read More »

110

Voted

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

15 years 9 months ago

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

« Prev « First page 10 / 945 Last » Next »