Sciweavers

4719 search results - page 24 / 944
» Newtonian program analysis
Sort
View
ECOOP
2004
Springer
14 years 28 days ago
Efficiently Verifiable Escape Analysis
Matthew Q. Beers, Christian Stork, Michael Franz
PLDI
2003
ACM
14 years 24 days ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...
PPDP
2001
Springer
13 years 12 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ Òع × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö Øݺ ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
PLDI
2000
ACM
13 years 12 months ago
Bitwidth analysis with application to silicon compilation
Mark Stephenson, Jonathan Babb, Saman P. Amarasing...
POPL
1998
ACM
13 years 11 months ago
Fast Interprocedural Class Analysis
Greg DeFouw, David Grove, Craig Chambers