Conferences in DBLP
John Field , G. Ramalingam Identifying Procedural Structure in Cobol Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hira Agrawal Efficient Coverage Testing Using Global Dominator Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Jong-Deok Choi , David Grove , Michael Hind , Vivek Sarkar Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Liz Whiting , Mike Hill Safety Analysis of Hawk in Flight Monitor. [Citation Graph (0, 0)][DBLP ] Conf ] Donglin Liang , Mary Jean Harrold Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. [Citation Graph (0, 0)][DBLP ] Conf ] Amie L. Souter , Lori L. Pollock , Dixie Hisley Inter-Class Def-Use Analysis with Partial Class Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Gleb Naumovich , Lori A. Clarke , Jamieson M. Cobleigh Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Satish Chandra , Thomas W. Reps Physical Type Checking for C. [Citation Graph (0, 0)][DBLP ] Conf ] Nicky Williams Preston New Type Signatures for Legacy Fortran Subroutines. [Citation Graph (0, 0)][DBLP ] Conf ] Francoise Balmas Query by Outlines: A New Paradigm to Help Manage Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriella Kókai , Jörg Nilson , Christian Niss GIDTS: A Graphical Programming Environment for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Steindl Benefits of a Data Flow-Aware Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] 