Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C)

jgm@CS.Cornell.EDU (Gregory Morrisett) wrote (écrivait) :


|> In contrast, the ('83) Ada Reference Manual is around 400 pages and
|> barely manages to precisely specify the syntax of the language, much
|> less its semantics.


Note, FWIW, that Veronique Donzeau-Gouge wrote a formal denotational
semantics of Ada for her thesis, published around 1984. Unfortunately, it
does not include the tasking aspects (denotational semantics is not
adequate for this) and it is about as long as the manual!


                                                                          Martin Jourdan


Avant-projet OSCAR, INRIA, Rocquencourt, France
Phone +33-1-36-93-54-35, fax +33-1-39-63-56-98, Martin.Jourdan@inria.fr
Home page and PGP key: http://www-rocq.inria.fr/~jourdan
--

Return to the comp.compilers page.
Search the comp.compilers archives again.