home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / programm / 3400 < prev    next >
Encoding:
Text File  |  1993-01-03  |  1.0 KB  |  29 lines
  1. Newsgroups: comp.programming
  2. Path: sparky!uunet!caen!batcomputer!cornell!karr
  3. From: karr@cs.cornell.edu (David Karr)
  4. Subject: Re: Programming by Description of Output...
  5. Message-ID: <1993Jan4.045009.2471@cs.cornell.edu>
  6. Organization: Cornell Univ. CS Dept, Ithaca NY 14853
  7. References: <BEVAN.92Dec31202001@panda.cs.man.ac.uk> <1993Jan1.043329.27160@netcom.com> <BEVAN.93Jan1134444@panda.cs.man.ac.uk>
  8. Date: Mon, 4 Jan 1993 04:50:09 GMT
  9. Lines: 18
  10.  
  11. In article <BEVAN.93Jan1134444@panda.cs.man.ac.uk> bevan@cs.man.ac.uk (Stephen J Bevan) writes:
  12. >In article <1993Jan1.043329.27160@netcom.com> nagle@netcom.com (John Nagle) writes:
  13. >
  14. >   Formal specs that you can't run are tough to work with.
  15. >
  16. >I heartily agree, though there are those who feel that if a spec. is
  17. >executable it probably isn't a good spec.
  18.  
  19. A denotational semantics of a programming language is a formal spec of
  20. the language itself; strangely (or perhaps not so strangely), such specs
  21. *are* executable in Standard ML.
  22.  
  23. Admittedly, this is somewhat of a special case.
  24.  
  25. -- David Karr (karr@cs.cornell.edu)
  26.  
  27.  
  28.  
  29.