home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / ada / 4091 < prev    next >
Encoding:
Internet Message Format  |  1993-01-27  |  1007 b 
  1. Path: sparky!uunet!europa.eng.gtefsd.com!gatech!paladin.american.edu!howland.reston.ans.net!spool.mu.edu!agate!ucbvax!ANTARES.MCS.ANL.GOV!dritz
  2. From: dritz@ANTARES.MCS.ANL.GOV (Ken Dritz)
  3. Newsgroups: comp.lang.ada
  4. Subject: Request pointers to research
  5. Message-ID: <9301262050.AA14776@papasun.mcs.anl.gov>
  6. Date: 26 Jan 93 20:50:13 GMT
  7. Sender: usenet@ucbvax.BERKELEY.EDU
  8. Organization: The Internet
  9. Lines: 15
  10.  
  11. I'd like to become familiar with research in formal methods as related to Ada.
  12. I would appreciate pointers (either posted to the net, or sent as email to me)
  13. to work in
  14.  
  15.    o  formal semantics of Ada, particularly using denotational semantics
  16.       (has the Esprit project in Europe touched on this?);
  17.    o  verification, as related to proving the correctness of Ada
  18.       programs or Ada compilers;
  19.    o  deriving Ada from higher-level description languages.
  20.  
  21. Anything would help, but bibliographic references that I could track down would
  22. be the most useful.
  23.  
  24. Thanks,
  25. Ken Dritz (dritz@mcs.anl.gov)
  26.