Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!julius.cs.uiuc.edu!roundup.crhc.uiuc.edu!ux1.cso.uiuc.edu!csrd.uiuc.edu!sp1.csrd.uiuc.edu!llchen
From: llchen@sp1.csrd.uiuc.edu (Li-Ling Chen)
Newsgroups: comp.lang.functional
Subject: Need reference on fixed point computation
Message-ID: <1991Jan30.175610.14999@csrd.uiuc.edu>
Date: 30 Jan 91 17:56:10 GMT
Sender: news@csrd.uiuc.edu (news)
Distribution: comp
Organization: UIUC Center for Supercomputing Research and Development
Lines: 13

Fixed point computation is used frequently in solving data flow equations
and abstract interpretations. I would appreciate if someone could give
me any references on this subject, especially from mathematical viewpoints
and implementations.
Thanks.
--
-----
Li-Ling Chen
Center for Supercomputing Research and Development
University of Illinois at Urbana-Champaign
305 Talbot Lab
104 South Wright Street
Urbana, IL 61801-2932