Formal Semantics of ADA?

Article View: comp.specification

Article #386

Back to comp.specification Previous Next

#386

From: Wolfgang Mueller
Date: Mon, 14 Dec 1992 16:48

16 lines
1130 bytes

I'm looking for any pointers to the formal semantics of ADA  
preferring the classical denotational definition. Any other styles 
are welcome as well.

Thank you in advance.

   wolfgang

-- 
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| Wolfgang Mueller  |       Tel.  : (+49) (+) 5251-284 141              |
| CADLAB            |       Fax   : (+49) (+) 5251-284 140              |
| Bahnhofstr. 32    |       E-Mail: wolfgang@cadlab.cadlab.de           |
| W-4790 Paderborn  |               wolfgang@cadlab.uucp                |
| Germany           |               ...!uunet!unido!cadlab!wolfgang      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Technical Details

Message-ID: <1gidssINN14c@uni-paderborn.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!urmel.informatik.rwth-aachen.de!uni-paderborn.de!wm

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!urmel.informatik.rwth-aachen.de!uni-paderborn.de!wm
From: wm@uni-paderborn.de (Wolfgang Mueller)
Newsgroups: comp.specification
Subject: Formal Semantics of ADA?
Date: 14 Dec 1992 16:48:27 GMT
Organization: Uni-GH Paderborn, Germany
Lines: 16
Distribution: world
Message-ID: <1gidssINN14c@uni-paderborn.de>
NNTP-Posting-Host: picasso.uni-paderborn.de