home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / specific / 577 next >
Encoding:
Internet Message Format  |  1992-12-14  |  1.1 KB
  1. Path: sparky!uunet!mcsun!Germany.EU.net!urmel.informatik.rwth-aachen.de!uni-paderborn.de!wm
  2. From: wm@uni-paderborn.de (Wolfgang Mueller)
  3. Newsgroups: comp.specification
  4. Subject: Formal Semantics of ADA?
  5. Date: 14 Dec 1992 16:48:27 GMT
  6. Organization: Uni-GH Paderborn, Germany
  7. Lines: 16
  8. Distribution: world
  9. Message-ID: <1gidssINN14c@uni-paderborn.de>
  10. NNTP-Posting-Host: picasso.uni-paderborn.de
  11.  
  12.  
  13. I'm looking for any pointers to the formal semantics of ADA  
  14. preferring the classical denotational definition. Any other styles 
  15. are welcome as well.
  16.  
  17. Thank you in advance.
  18.  
  19.    wolfgang
  20.  
  21. -- 
  22.  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  23. | Wolfgang Mueller  |       Tel.  : (+49) (+) 5251-284 141              |
  24. | CADLAB            |       Fax   : (+49) (+) 5251-284 140              |
  25. | Bahnhofstr. 32    |       E-Mail: wolfgang@cadlab.cadlab.de           |
  26. | W-4790 Paderborn  |               wolfgang@cadlab.uucp                |
  27. | Germany           |               ...!uunet!unido!cadlab!wolfgang      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  28.