Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)

Philip Wadler. Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). In Henry G. Baker, editor, Memory Management, International Workshop IWMM 95, Kinross, UK, September 27-29, 1995, Proceedings. Volume 986 of Lecture Notes in Computer Science, pages 117, Springer, 1995.

Abstract

Abstract is missing.