PASTE 1999:
Toulouse,
France
William G. Griswold, Susan Horwitz (Eds.):
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999.
ACM 1999, ISBN 1-58113-137-2
- 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