Search Sciweavers | Sciweavers

4722 search results - page 25 / 945

» Representation-independent program analysis

click to vote

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

14 years 27 days ago

Download chess.eecs.berkeley.edu

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

claim paper

Read More »

click to vote

PPDP
2001
Springer

131views Programming Languages» more PPDP 2001»

Granularity of Constraint-Based Analysis for Java

14 years 3 days 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

14 years 22 hour 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 12 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 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers