PASTE 1999: Toulouse, France

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

Last update Fri May 25 08:31:07 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page