Sciweavers

12272 search results - page 85 / 2455

» Experimental program analysis

161

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

15 years 6 months ago

Computer Security from a Programming Language and Static Analysis Perspective

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

86

PLDI
1994
ACM

105views Programming Languages» more PLDI 1994»

ATOM - A System for Building Customized Program Analysis Tools

15 years 4 months ago

ATOM - A System for Building Customized Program Analysis Tools

Download www.hpl.hp.com

Amitabh Srivastava, Alan Eustace

claim paper

Read More »

102

Voted

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

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

15 years 4 months ago

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

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

95

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

15 years 4 months ago

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

92

TOOLS
1998
IEEE

125views Programming Languages» more TOOLS 1998»

C++ Program Information Database for Analysis Tools

15 years 5 months ago

C++ Program Information Database for Analysis Tools

Download people.engr.ncsu.edu

Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...

Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing ...

claim paper

Read More »

« Prev « First page 85 / 2455 Last » Next »