Search Sciweavers | Sciweavers

4719 search results - page 9 / 944

» Newtonian program analysis

click to vote

SAS
2001
Springer

149views Formal Methods» more SAS 2001»

Analysis of Multithreaded Programs

13 years 12 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 »

click to vote

ICFP
2004
ACM

114views Programming Languages» more ICFP 2004»

Improving the static analysis of embedded languages via partial evaluation

14 years 7 months ago

Download www.ccs.neu.edu

David Herman, Philippe Meunier

claim paper

Read More »

click to vote

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

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

click to vote

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

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

click to vote

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers