Sciweavers

12272 search results - page 117 / 2455
» Experimental program analysis
Sort
View
PLDI
2003
ACM
15 years 6 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...
101
Voted
PPDP
2001
Springer
15 years 5 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
92
Voted
PLDI
2000
ACM
15 years 5 months ago
Bitwidth analysis with application to silicon compilation
Mark Stephenson, Jonathan Babb, Saman P. Amarasing...
POPL
1998
ACM
15 years 5 months ago
Fast Interprocedural Class Analysis
Greg DeFouw, David Grove, Craig Chambers
105
Voted
SIGADA
1998
Springer
15 years 5 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley