Search Sciweavers | Sciweavers

4725 search results - page 5 / 945

» Dependence-Based 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 11 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

ISSTA
2012
ACM

219views Software Engineering» more ISSTA 2012»

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say

11 years 9 months ago

Download www.cs.colorado.edu

A static analysis design is sufﬁcient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to conﬁrm that an analysis d...

Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...

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 11 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 11 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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers