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