home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / modula3 / 884 < prev    next >
Encoding:
Internet Message Format  |  1992-08-26  |  889 b 
  1. Path: sparky!uunet!sun-barr!ames!data.nas.nasa.gov!taligent!apple!mumbo.apple.com!gallant.apple.com!pscanning.apple.com!user
  2. From: canning@apple.com (Peter S. Canning)
  3. Newsgroups: comp.lang.modula3
  4. Subject: Formal description of Modula3
  5. Message-ID: <canning-250892163047@pscanning.apple.com>
  6. Date: 25 Aug 92 23:39:26 GMT
  7. Sender: news@gallant.apple.com
  8. Followup-To: comp.lang.modula3
  9. Organization: Apple Computer, Inc.
  10. Lines: 9
  11.  
  12. Has anyone attempted to produce a formal description of Modula3 (beyond the
  13. description of the syntax)?  One possiblity would be a "natural semantics"
  14. describing either or both the static and dynamic semantics (e.g. "The
  15. Definition of Standard ML" by Milner, Tofte, and Harper).  Another option
  16. would be a denotational treatment of the dynamic semantics (e.g. "Revised^3
  17. Report on the Algoritmmic Language Scheme").
  18.  
  19.                                             thanks,
  20.                                             Peter Canning
  21.