Search Sciweavers | Sciweavers

4725 search results - page 18 / 945

» Dependence-Based Program Analysis

click to vote

PPDP
2001
Springer

131views Programming Languages» more PPDP 2001»

Granularity of Constraint-Based Analysis for Java

13 years 11 months ago

Download cs.sookmyung.ac.kr

Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô�...

Byeong-Mo Chang, Jang-Wu Jo

claim paper

Read More »

click to vote

PLDI
2000
ACM

123views Programming Languages» more PLDI 2000»

Bitwidth analysis with application to silicon compilation

13 years 11 months ago

Download publications.csail.mit.edu

Mark Stephenson, Jonathan Babb, Saman P. Amarasing...

claim paper

Read More »

click to vote

POPL
1998
ACM

88views Programming Languages» more POPL 1998»

Fast Interprocedural Class Analysis

13 years 11 months ago

Download www.evernote.com

Greg DeFouw, David Grove, Craig Chambers

claim paper

Read More »

click to vote

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

An ASIS-Based Static Analysis Tool for High-Integrity Systems

13 years 11 months ago

Download www.adastat.com

William W. Pritchett IV, John D. Riley

claim paper

Read More »

click to vote

POPL
1996
ACM

98views Programming Languages» more POPL 1996»

Solving Shape-Analysis Problems in Languages with Destructive Updating

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers