Search Sciweavers | Sciweavers

4722 search results - page 25 / 945

» Representation-independent program analysis

126

click to vote

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

15 years 11 months ago

Download chess.eecs.berkeley.edu

Glenn Ammons, David Mandelin, Rastislav Bodí...

claim paper

Read More »

148

click to vote

PPDP
2001
Springer

131views Programming Languages» more PPDP 2001»

Granularity of Constraint-Based Analysis for Java

15 years 10 months ago

Download cs.sookmyung.ac.kr

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

Byeong-Mo Chang, Jang-Wu Jo

claim paper

Read More »

129

click to vote

PLDI
2000
ACM

123views Programming Languages» more PLDI 2000»

Bitwidth analysis with application to silicon compilation

15 years 10 months ago

Download publications.csail.mit.edu

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

claim paper

Read More »

112

click to vote

POPL
1998
ACM

88views Programming Languages» more POPL 1998»

Fast Interprocedural Class Analysis

15 years 10 months ago

Download www.evernote.com

Greg DeFouw, David Grove, Craig Chambers

claim paper

Read More »

151

click to vote

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers