A Syntactic Approach to Fixed Point Computation on Finite Domains

We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when calculating abstract semantics of functional programs. Previous methods for fixed point finding have been mainly based on semantic approaches which may be very inefficient even for simple programs. We outline the development of a syntactic approach, and show that the syntactic approach is sound and complete with respect to semantics. A few examples are provided to illustrate this syntactic approach.

• Type: Conference
• Year: 1992
• Where: LFP
• Authors: Tyng-Ruey Chuang, Benjamin Goldberg
• Keywords: Finite Domains, Fixed Point, LFP 1992, Syntactic Approach