Need reference on fixed point computation

Article View: comp.lang.functional

Article #781

Back to comp.lang.functional Previous Next

#781

From: Li-Ling Chen
Date: Wed, 30 Jan 1991 17:56

13 lines
956 bytes

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

Technical Details

Message-ID: <1991Jan30.175610.14999@csrd.uiuc.edu>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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