Sciweavers

4722 search results - page 10 / 945

» Representation-independent program analysis

145

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

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

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

130

ESOP
2007
Springer

110views Programming Languages» more ESOP 2007»

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

16 years 14 days ago

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

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

130

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

16 years 8 days ago

A probabilistic pointer analysis for speculative optimizations

Download www.eecg.toronto.edu

Jeff Da Silva, J. Gregory Steffan

claim paper

Read More »

128

Voted

PLDI
2006
ACM

87views Programming Languages» more PLDI 2006»

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

16 years 8 days ago

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

Download www.eecs.berkeley.edu

Manu Sridharan, Rastislav Bodík

claim paper

Read More »

140

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 11 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 »