Thomas Ball, Frank Tip, A. Michael Berman
Proceedings of the First Workshop on Program Analysis for Software Tools and Engineering
PASTE, 1998.
@proceedings{PASTE-1998,
acmid = "277631",
address = "Montreal, Canada",
editor = "Thomas Ball and Frank Tip and A. Michael Berman",
isbn = "1-58113-055-4",
publisher = "{ACM}",
title = "{Proceedings of the First Workshop on Program Analysis for Software Tools and Engineering}",
year = 1998,
}
Contents (11 items)
- PASTE-1998-Snelting #comprehension #concept analysis #framework
- Concept Analysis — A New Framework for Program Understanding (GS), pp. 1–10.
- PASTE-1998-ZhangRL #alias #analysis #pointer
- Experiments with Combined Analysis for Pointer Aliasing (SZ, BGR, WL), pp. 11–18.
- PASTE-1998-TiceG #approach #named
- OPTVIEW: A New Approach for Examining Optimized Code (CT, SLG), pp. 19–26.
- PASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer
- Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.
- PASTE-1998-Krinke #slicing #source code #thread
- Static Slicing of Threaded Programs (JK), pp. 35–42.
- PASTE-1998-ChaseCHY #analysis #architecture #multi #source code
- Recovering Software Architecture from Multiple Source Code Analyses (MPC, SMC, DRH, ASY), pp. 43–50.
- PASTE-1998-NaumovichCO #analysis #concurrent #data flow #performance #source code
- Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.
- PASTE-1998-Reiss #visualisation
- Software Visualization in the Desert Environment (SPR), pp. 59–66.
- PASTE-1998-JefferyZTB #architecture #execution #lightweight #monitoring
- A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
- PASTE-1998-WadellA #higher-order #performance #source code #visualisation
- Visualizing the Performance of Higher-Order Programs (OW, JMA), pp. 75–82.
- PASTE-1998-HarroldRWY #empirical
- An Empirical Investigation of Program Spectra (MJH, GR, RW, LY), pp. 83–90.