Search Sciweavers | Sciweavers

4722 search results - page 8 / 945

» Representation-independent program analysis

click to vote

SIGSOFT
2010
ACM

149views Software Engineering» more SIGSOFT 2010»

Differential static analysis: opportunities, applications, and challenges

13 years 5 months ago

Download research.microsoft.com

It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...

Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare

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 8 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 25 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