Search Sciweavers | Sciweavers

4719 search results - page 24 / 944

» Newtonian program analysis

121

Voted

ECOOP
2004
Springer

65views Programming Languages» more ECOOP 2004»

Efficiently Verifiable Escape Analysis

15 years 11 months ago

Download www.cs.rutgers.edu

Matthew Q. Beers, Christian Stork, Michael Franz

claim paper

Read More »

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 »

113

click to vote

POPL
1998
ACM

88views Programming Languages» more POPL 1998»

Fast Interprocedural Class Analysis

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers