home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / theory / 1911 < prev    next >
Encoding:
Text File  |  1992-09-11  |  1.8 KB  |  50 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!wupost!tulane!fs
  3. From: fs@cs.tulane.edu (Frank Silbermann)
  4. Subject: Re: Fixed point semantics
  5. Nntp-Posting-Host-[nntpd-4753]: caesar
  6. Message-ID: <1992Sep11.171438.4816@cs.tulane.edu>
  7. Sender: news@cs.tulane.edu
  8. Organization: Computer Science Dept., Tulane Univ., New Orleans, LA
  9. References: <1992Sep7.172738@cs.utwente.nl> <1992Sep9.065818.9053@odin.diku.dk>
  10. Date: Fri, 11 Sep 1992 17:14:38 GMT
  11. Lines: 37
  12.  
  13.  
  14. skow@cs.utwente.nl
  15. Jacek Skowronek:
  16. >>        What does it mean when "a language gives
  17. >>        a least fixed point semantics"?
  18.  
  19. <1992Sep9.065818.9053@odin.diku.dk> rose@diku.dk
  20. (Mads Rosendahl):
  21. >    Fixed Point Semantics is often used for the kind
  22. >    of Denotational Semantics which is based on Domain Theory
  23.  
  24. Stoy writes that Scott invented Domain Theory to give
  25. Denotational Semantics on a firm mathematical foundation.
  26. So what kind of denotational semantics is _not_ based
  27. (at least implicitly) on domain theory?
  28.  
  29. >    and where one does not require the semantics in some sense
  30. >    to be computable (ie. based on the lambda calculus).
  31.  
  32. It is my impression that the language of Domain Theory
  33. _is_ a lambda notation, albeit one that was specifically
  34. created to represent elements of a pre-conceived mathematical
  35. model (the domain).
  36.  
  37. As for Domain Theory not being computable, I thought the notion
  38. of _continuity_ (a notion which permeates domain theory)
  39. which was motivated by the desire to ensure computability.
  40.  
  41. If you rely only on continuous operations over continuous
  42. domains, then how can the semantics be uncomputable?
  43. Chapter 10 of David Schmidt's text discusses work
  44. by Uwe Pleban and others on use of denotational semantics
  45. as an interpreter-generator.
  46.  
  47. ------------------------------------------
  48. Frank Silbermann    fs@cs.tulane.edu
  49. Tulane University    New Orleans, Louisiana  USA
  50.