Re: Need reference on fixed-point computaion

Thread View: comp.lang.functional

1 messages

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

1 total messages Started by Si Courtenage Thu, 07 Feb 1991 13:54

#794

Author: Si Courtenage
Date: Thu, 07 Feb 1991 13:54

42 lines
1838 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.

The references I`ve read on this usbject so far are:

    S.Peyton Jones and Chris Clack
      "Finding fixed points in abstract interpretation"
        in: Abstract Interpretation of Declarative Languages"
           ed. S.Abramsky and C.Hankin (pub. Ellis Horwood, 1987)

    - a good reference for practical ways of finding fixed-points

    J.Stoy
      "Denotational Semantics: the Scott-Strachey Approach to
       Programming Language Theory"
         pub. MIT Press, 1977
    - see pages 71-73 - may be difficult to get hold off and is a
      bit brief on the subject

     A.J.Field and P.G.Harrison
      "Functional Programming"
         pub.Addison Wesley, 1988
    - see Appendix B on Basic Domain Theory

    D.Scott
      "Lectures on a Mathematical Approach to Computation"
         pub. Oxford Programming Group (Ox. Univ) ???

    - thorough approach to domains and therefore fixed-points
      from a very mathematical point of view - BUT no idea how
      you might get hold of a copy - I borrowed mine from my
      supervisor.

Hope that this helps!!! I would be interested if anyone else
knows of any other references!

Si

"Man is born to trouble as the sparks fly upwards."

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