Abstract is missing.
- Making slicing practical: the final mile (Abstract)William G. Griswold. 1 [doi]
- An overview of BLOOMSteven P. Reiss. 2-5 [doi]
- Evaluating explicitly context-sensitive program slicingGagan Agrawal, Liang Guo. 6-12 [doi]
- Contextual def-use associations for object aggregationAmie L. Souter, Lori L. Pollock. 13-19 [doi]
- Type-based analysis and applicationsJens Palsberg. 20-27 [doi]
- vEC: virtual energy countersIsmail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam. 28-31 [doi]
- Array resizing for scientific code debugging, maintenance and reuseCorinne Ancourt, Thi Viet Nga Nguyen. 32-37 [doi]
- Static validation of dynamically generated HTMLClaus Brabrand, Anders Møller, Michael I. Schwartzbach. 38-45 [doi]
- Change impact analysis for object-oriented programsBarbara G. Ryder, Frank Tip. 46-53 [doi]
- Pointer analysis: haven t we solved this problem yet?Michael Hind. 54-61 [doi]
- Program analysis for safety guarantees in a Java virtual machine written in JavaJan-Willem Maessen, Vivek Sarkar, David Grove. 62-65 [doi]
- Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimizationMarkus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers. 66-72 [doi]
- Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for JavaDonglin Liang, Maikel Pennings, Mary Jean Harrold. 73-79 [doi]
- Economics of software verificationGerard J. Holzmann. 80-85 [doi]
- What is a class invariant?Adam Brooks Webber. 86-89 [doi]
- Detecting race conditions in large programsCormac Flanagan, Stephen N. Freund. 90-96 [doi]
- Bebop: a path-sensitive interprocedural dataflow engineThomas Ball, Sriram K. Rajamani. 97-103 [doi]