default search action
PASTE 1999: Toulouse, France
- William G. Griswold, Susan Horwitz:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.