- Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing
- A Survey of Program Slicing Techniques CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
- RC 21164(94592)24APR97 Computer Science/Mathematics Research Report
- Declarative Object Identity Using Relation Types
- RC22662 (W0212-027) December 4, 2002 Computer Science
- Finding Bugs in Dynamic Web Applications Julian Dolby
- RC22178 (W0109-033) September 19, 2001 Computer Science
- Slicing Class Hierarchies in C++ Frank Tip Jong-Deok Choi John Field G. Ramalingam
- A Slicing-Based Approach for Locating Type Errors T. B. Dinesh Frank Tip
- Associating Synchronization Constraints with Data in an Object-Oriented Language
- RC22305 (W0201-071) January 11, 2002 Computer Science
- Extracting Library-Based Object-Oriented Applications Peter F. Sweeney
- Aggregate Structure Identification and its Application to Program Analysis
- A Study of Dead Data Members in C++ Applications Peter F. Sweeney and Frank Tip
- Class Hierarchy Specialization Frank Tip and Peter F. Sweeney
- Class Hierarchy Specialization Frank Tip and Peter F. Sweeney
- Chianti: A Tool for Change Impact Analysis of Java Xiaoxia Ren1
- Safe-Commit Analysis to Facilitate Team Software Development , Barbara Ryder
- RC23037 (W0312-095) December 16, 2003 Computer Science
- RC23238 (W0406-045) June 10, 2004 Computer Science
- Understanding Class Hierarchies Using Concept GREGOR SNELTING
- Animators for Generated Programming Environments
- An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++
- Finding Bugs Efficiently with a SAT Solver Julian Dolby
- Practical Extraction Techniques for Java FRANK TIP and PETER F. SWEENEY
- A Slicing-Based Approach for Locating Type Errors
- Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing
- Refactoring Using Type Constraints IBM T. J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598, USA
- Finding Failure-Inducing Changes in Java Programs using Change Classification
- Refactoring Support for Class Library Migration Ittai Balaban
- Chianti: A Tool for Change Impact Analysis of Java Xiaoxia Ren1
- Customization of Java Library Classes using Type Constraints and Profile Information
- Practical Experience with an Application Extractor for Java Frank Tip Chris La ra Peter F. Sweeney
- Reengineering Class Hierarchies Using Concept Analysis Gregor Snelting Frank Tip
- Generic Techniques for Source-Level Debugging and Dynamic Program Slicing
- PARAMETRIC PROGRAM SLICING John Field G. Ramalingam
- Generation of Program Analysis Tools Generation of Program Analysis Tools
- RC22983 (W0311-066) November 7, 2003 Computer Science
- Refactoring for Generalization using Type Constraints IBM T.J. Watson Research
- COMMUNICATIONS OF THE ACM August 2003/Vol. 46, No. 8 35 he popularity of the Java pro-
- RC 21727 (4/20/2000) Computer Sciences/Mathematics
- Dynamic Detection of Atomic-Set-Serializability Violations Christian Hammer
- Semantics-Based Composition of Class Hierarchies
