home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / modula3 / 885 < prev    next >
Encoding:
Text File  |  1992-08-27  |  553 b   |  20 lines
  1. Newsgroups: comp.lang.modula3
  2. Path: sparky!uunet!elroy.jpl.nasa.gov!decwrl!deccrl!news.crl.dec.com!pa.dec.com!src.dec.com!frode@ODEGARD.COM 
  3. From: frode@ODEGARD.COM (Frode Odegard)
  4. Subject: Re:  Formal description of Modula3
  5. To: m3
  6. Message-ID: <9208272127.AA25314@surak.ODEGARD.COM>
  7. Reply-To: frode@ODEGARD.COM
  8. Date: Thu, 27 Aug 92 14:27:43 PDT
  9. Lines: 9
  10.  
  11. Peter Canning (canning@apple.com) writes:
  12.  
  13. > Has anyone attempted to produce a formal description of Modula3 (beyond the
  14. > description of the syntax)?  [....]
  15.  
  16. What about using VDM ?
  17.  
  18.                 - Frode
  19.     
  20.