home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / theory / 1894 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.0 KB
  1. Path: sparky!uunet!mcsun!sunic!dkuug!diku!rose
  2. From: rose@diku.dk (Mads Rosendahl)
  3. Newsgroups: comp.theory
  4. Subject: Re: Fixed point semantics
  5. Message-ID: <1992Sep9.065818.9053@odin.diku.dk>
  6. Date: 9 Sep 92 06:58:18 GMT
  7. References: <1992Sep7.172738@cs.utwente.nl>
  8. Sender: rose@rimfaxe.diku.dk
  9. Organization: Department of Computer Science, U of Copenhagen
  10. Lines: 15
  11.  
  12. skow@cs.utwente.nl (Jacek Skowronek) writes:
  13. >What does it mean when "a language gives a least fixed point semantics".
  14.  
  15. Fixed Point Semantics is often used for the kind of Denotational Semantics 
  16. which is based on Domain Theory and where one does not require the
  17. semantics in some sense to be computable (ie. based on the lambda calculus).
  18.  
  19. Fixed Point Semantics is used heavily in Abstract Interpretation where neither
  20. the Standard Semantics (often in the form of a Collecting Semantics) or
  21. the Abstract Semantics correspond to lambda terms. They do, however, 
  22. make perfect sense in Domain Theory.
  23.  
  24. Mads Rosendahl
  25.  
  26. DIKU, University of Copenhagen, Denmark, <rose@diku.dk>
  27.