Path Analysis for Lazy Data Structures

Carsten K. Gomard, Peter Sestoft. Path Analysis for Lazy Data Structures. In Maurice Bruynooghe, Martin Wirsing, editors, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings. Volume 631 of Lecture Notes in Computer Science, pages 54-68, Springer, 1992.

Abstract

Abstract is missing.