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