Search Sciweavers | Sciweavers

2144 search results - page 62 / 429

» Exact Flow Analysis

click to vote

PLDI
2000
ACM

81views Programming Languages» more PLDI 2000»

Scalable context-sensitive flow analysis using instantiation constraints

15 years 8 months ago

Download www.cs.ucla.edu

Manuel Fähndrich, Jakob Rehof, Manuvir Das

claim paper

Read More »

120

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 8 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

106

click to vote

PASTE
1999
ACM

100views Software Engineering» more PASTE 1999»

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

15 years 8 months ago

Download www.cs.umass.edu

Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...

claim paper

Read More »

119

click to vote

LCPC
1997
Springer

109views System Software» more LCPC 1997»

An Array Data Flow Analysis Based Communication Optimizer

15 years 8 months ago

Download www.cs.fsu.edu

Xin Yuan, Rajiv Gupta, Rami G. Melhem

claim paper

Read More »

104

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers