@inproceedings{1cab8bb1c7c84a64b56e71440354ac8d,
title = "Syntactic approach to fixed point computation on finite domains",
abstract = "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.",
author = "Chuang, {Tyng Ruey} and Benjamin Goldberg",
year = "1992",
language = "English (US)",
isbn = "0897914813",
series = "Proc 92 ACM Conf Lisp Funct Program",
publisher = "Publ by ACM",
pages = "109--118",
booktitle = "Proc 92 ACM Conf Lisp Funct Program",
note = "Proceedings of the 1992 ACM Conference on Lisp and Functional Programming ; Conference date: 22-06-1992 Through 24-06-1992",
}