18, no. 5, sept. Cache behaviour prediction by abstract interpretation - SAS' 96. Static detection of dynamic memory errors - Evans, PLDI'96 14. There are holes here, and we tried to discuss them with Mary Jean. Essentially what the title implies.
Handles loops with limited conditional control flow in body.
Rather long for our level of interest. Mild interest, may interact with optimization. Title is descriptive. Supercomputing '94 32. Architectural Support for Programming Languages and OSs - September 1996 34.