Sciweavers

5235 search results - page 92 / 1047
» Analysis of Multithreaded Programs
Sort
View
ESEC
1999
Springer
15 years 9 months ago
Data-Flow Analysis of Program Fragments
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
Atanas Rountev, Barbara G. Ryder, William Landi
ECOOP
2004
Springer
15 years 10 months ago
Efficiently Verifiable Escape Analysis
Matthew Q. Beers, Christian Stork, Michael Franz
PLDI
2003
ACM
15 years 10 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...
PPDP
2001
Springer
15 years 9 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
PLDI
2000
ACM
15 years 9 months ago
Bitwidth analysis with application to silicon compilation
Mark Stephenson, Jonathan Babb, Saman P. Amarasing...