home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / specific / 605 < prev    next >
Encoding:
Text File  |  1993-01-06  |  739 b   |  23 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!andersen!kanth
  3. From: kanth@andersen.uucp (Kanth Miriyala)
  4. Subject: Formal spec languages on top of C/C++ ?
  5. Message-ID: <1993Jan6.212736.1456@news.acns.nwu.edu>
  6. Sender: usenet@news.acns.nwu.edu (Usenet on news.acns)
  7. Nntp-Posting-Host: andersen.cstar.andersen.com
  8. Organization: Northwestern University, Evanston, Illinois, USA
  9. Date: Wed, 6 Jan 1993 21:27:36 GMT
  10. Lines: 11
  11.  
  12.  
  13. Are there any formal specification languages available on top
  14. of C/C++ environments? I am looking for formal spec languages
  15. that are automatically translated down to C or C++ (perhaps
  16. inefficiently or partially).
  17.  
  18. Please send me email. Thanks. 
  19.  
  20. -Kanth
  21.  
  22. kanth@andersen.com
  23.