Search Sciweavers | Sciweavers

4719 search results - page 9 / 944

» Newtonian program analysis

134

Voted

SAS
2001
Springer

149views Formal Methods» more SAS 2001»

Analysis of Multithreaded Programs

15 years 7 months ago

Download sdg.csail.mit.edu

Abstract. The ﬁeld of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...

Martin C. Rinard

claim paper

Read More »

109

click to vote

ICFP
2004
ACM

114views Programming Languages» more ICFP 2004»

Improving the static analysis of embedded languages via partial evaluation

16 years 3 months ago

Download www.ccs.neu.edu

David Herman, Philippe Meunier

claim paper

Read More »

115

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 10 months ago

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

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

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

Voted

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers