Marc Neuberger, Prateek Mishra. A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. In Proceedings of the 1992 ACM Conference on LISP and Functional Programming. LFP '92, pages 127-138, Association for Computing Machinery, New York, NY, USA, 1992. [doi]
Abstract is missing.