PASTE 1999: Toulouse, France

• John Field, G. Ramalingam:
  Identifying Procedural Structure in Cobol Programs. 1-10
  Electronic Edition (ACM DL) BibTeX
• Hira Agrawal:
  Efficient Coverage Testing Using Global Dominator Graphs. 11-20
  Electronic Edition (ACM DL) BibTeX
• Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar:
  Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. 21-31
  Electronic Edition (ACM DL) BibTeX
• Liz Whiting, Mike Hill:
  Safety Analysis of Hawk in Flight Monitor. 32-38
  Electronic Edition (ACM DL) BibTeX
• Donglin Liang, Mary Jean Harrold:
  Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. 39-46
  Electronic Edition (ACM DL) BibTeX
• Amie L. Souter, Lori L. Pollock, Dixie Hisley:
  Inter-Class Def-Use Analysis with Partial Class Representations. 47-56
  Electronic Edition (ACM DL) BibTeX
• Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh:
  Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. 57-65
  Electronic Edition (ACM DL) BibTeX
• Satish Chandra, Thomas W. Reps:
  Physical Type Checking for C. 66-75
  Electronic Edition (ACM DL) BibTeX
• Nicky Williams Preston:
  New Type Signatures for Legacy Fortran Subroutines. 76-85
  Electronic Edition (ACM DL) BibTeX
• Francoise Balmas:
  Query by Outlines: A New Paradigm to Help Manage Programs. 86-94
  Electronic Edition (ACM DL) BibTeX
• Gabriella Kókai, Jörg Nilson, Christian Niss:
  GIDTS: A Graphical Programming Environment for Prolog. 95-104
  Electronic Edition (ACM DL) BibTeX
• Christoph Steindl:
  Benefits of a Data Flow-Aware Programming Environment. 105-109
  Electronic Edition (ACM DL) BibTeX