A Syntactic Approach to Fixed Point Computation on Finite Domains

Tyng-Ruey Chuang, Benjamin Goldberg. A Syntactic Approach to Fixed Point Computation on Finite Domains. In LISP and Functional Programming. pages 109-118, 1992. [doi]

Abstract

Abstract is missing.