An Equational Framework for the Flow Analysis of Higher Order Functional Programs

Dan C. Stefanescu, Yuli Zhou. An Equational Framework for the Flow Analysis of Higher Order Functional Programs. In LISP and Functional Programming. pages 318-327, 1994. [doi]

Abstract

Abstract is missing.