Abstract is missing.
- Identifying Procedural Structure in Cobol ProgramsJohn Field, Ganesan Ramalingam. 1-10 [doi]
- Efficient Coverage Testing Using Global Dominator GraphsHira Agrawal. 11-20 [doi]
- Efficient and Precise Modeling of Exceptions for the Analysis of Java ProgramsJong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar. 21-31 [doi]
- Safety Analysis of Hawk in Flight MonitorLiz Whiting, Mike Hill. 32-38 [doi]
- Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of PointersDonglin Liang, Mary Jean Harrold. 39-46 [doi]
- Inter-Class Def-Use Analysis with Partial Class RepresentationsAmie L. Souter, Lori L. Pollock, Dixie Hisley. 47-56 [doi]
- Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based VerificationGleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh. 57-65 [doi]
- Physical Type Checking for CSatish Chandra, Thomas W. Reps. 66-75 [doi]
- Query by Outlines: A New Paradigm to Help Manage ProgramsFrancoise Balmas. 86-94 [doi]
- GIDTS: A Graphical Programming Environment for PrologGabriella Kókai, Jörg Nilson, Christian Niss. 95-104 [doi]
- Benefits of a Data Flow-Aware Programming EnvironmentChristoph Steindl. 105-109 [doi]