Search Sciweavers | Sciweavers

4716 search results - page 2 / 944

» Iterative-free program analysis

click to vote

FPCA
1995

132views Programming Languages» more FPCA 1995»

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

13 years 9 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

TOOLS
1998
IEEE

125views Programming Languages» more TOOLS 1998»

C++ Program Information Database for Analysis Tools

13 years 9 months ago

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 »

click to vote

SAS
2001
Springer

149views Formal Methods» more SAS 2001»

Analysis of Multithreaded Programs

13 years 10 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 5 months ago

Download www.ccs.neu.edu

David Herman, Philippe Meunier

claim paper

Read More »