Need reference on fixed point computation

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Li-Ling Chen Wed, 30 Jan 1991 17:56

#781

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads