William G. Griswold, Susan Horwitz
Proceedings of the Second Workshop on Program Analysis for Software Tools and Engineering
PASTE, 1999.

@proceedings{PASTE-1999,
	acmid         = "316158",
	address       = "Toulouse, France",
	editor        = "William G. Griswold and Susan Horwitz",
	isbn          = "1-58113-137-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Second Workshop on Program Analysis for Software Tools and Engineering}",
	year          = 1999,
}

Contents (12 items)

5 ×#analysis
4 ×#performance
3 ×#data flow
3 ×#source code
2 ×#programming
2 ×#using

PASTE-1999-FieldR #cobol #identification #source code

Identifying Procedural Structure in Cobol Programs (JF, GR), pp. 1–10.

PASTE-1999-Agrawal #graph #performance #testing #using

Efficient Coverage Testing Using Global Dominator Graphs (HA), pp. 11–20.

PASTE-1999-ChoiGHS #analysis #exception #java #modelling #performance #precise #source code

Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (JDC, DG, MH, VS), pp. 21–31.

PASTE-1999-WhitingH #analysis #monitoring #safety

Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.

PASTE-1999-LiangH #analysis #data flow #equivalence #performance #pointer

Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers (DL, MJH), pp. 39–46.

PASTE-1999-SouterPH #analysis

Inter-Class Def-Use Analysis with Partial Class Representations (ALS, LLP, DH), pp. 47–56.

PASTE-1999-NaumovichCC #analysis #data flow #partial order #performance #using #verification

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification (GN, LAC, JMC), pp. 57–65.

PASTE-1999-ChandraR #c #physics #type checking

Physical Type Checking for C (SC, TWR), pp. 66–75.

PASTE-1999-Preston #fortran #legacy

New Type Signatures for Legacy Fortran Subroutines (NWP), pp. 76–85.

PASTE-1999-Balmas #paradigm #query #source code

Query by Outlines: A New Paradigm to Help Manage Programs (FB), pp. 86–94.

PASTE-1999-KokaiNN #named #programming #prolog #visual notation

GIDTS: A Graphical Programming Environment for Prolog (GK, JN, CN), pp. 95–104.

PASTE-1999-Steindl #data flow #programming

Benefits of a Data Flow-Aware Programming Environment (CS), pp. 105–109.