Sciweavers

6960 search results - page 78 / 1392
» Continuity Analysis of Programs
Sort
View
241
Voted
POPL
2004
ACM
16 years 3 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm
ESEC
1999
Springer
15 years 7 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 8 months ago
Efficiently Verifiable Escape Analysis
Matthew Q. Beers, Christian Stork, Michael Franz
96
Voted
PLDI
2003
ACM
15 years 8 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...
111
Voted
PPDP
2001
Springer
15 years 7 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo