Sciweavers

4725 search results - page 6 / 945

» Dependence-Based Program Analysis

20

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

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

14 years 2 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 »

14

ESOP
2007
Springer

110views Programming Languages» more ESOP 2007»

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

14 years 1 months ago

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

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

20

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

14 years 1 months ago

A probabilistic pointer analysis for speculative optimizations

Download www.eecg.toronto.edu

Jeff Da Silva, J. Gregory Steffan

claim paper

Read More »

16

PLDI
2006
ACM

87views Programming Languages» more PLDI 2006»

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

14 years 1 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 »

17

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

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

14 years 16 days 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 6 / 945 Last » Next »