Search Sciweavers | Sciweavers

4725 search results - page 4 / 945

» Dependence-Based Program Analysis

click to vote

ACSC
2005
IEEE

132views Theoretical Computer Science» more ACSC 2005»

Integration of generic program analysis tools into a software development environment

14 years 28 days ago

Download www.acs.org.au

Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-ﬂow and data-ﬂow analysis can support pr...

Erica Glynn, Ian J. Hayes, Anthony MacDonald

claim paper

Read More »

click to vote

POPL
2001
ACM

139views Programming Languages» more POPL 2001»

An abstract Monte-Carlo method for the analysis of probabilistic programs

14 years 7 months ago

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

14 years 16 days ago

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

click to vote

PLDI
1994
ACM

105views Programming Languages» more PLDI 1994»

ATOM - A System for Building Customized Program Analysis Tools

13 years 11 months ago

Download www.hpl.hp.com

Amitabh Srivastava, Alan Eustace

claim paper

Read More »

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers