home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / theory / 1881 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  683 b 

  1. Path: sparky!uunet!gatech!bloom-beacon!eru.mt.luth.se!lunic!sunic!mcsun!sun4nl!utrcu1!infnews!infnews!skow
  2. From: skow@cs.utwente.nl (Jacek Skowronek)
  3. Newsgroups: comp.theory
  4. Subject: Fixed point semantics
  5. Message-ID: <1992Sep7.172738@cs.utwente.nl>
  6. Date: 7 Sep 92 15:27:38 GMT
  7. Sender: usenet@cs.utwente.nl
  8. Organization: University of Twente, Dept. of Computer Science
  9. Lines: 10
  10. Nntp-Posting-Host: utis106
  11.  
  12. What does it mean when "a language gives a least fixed point semantics".
  13.  
  14. Jacek
  15.  
  16. -- 
  17. -------------------------------------------------------------------
  18. Jacek Skowronek                e-mail: <skow@cs.utwente.nl>
  19. Departament of Computer Science
  20. Twente University
  21. Enschede, The Netherlands
  22.