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

Martin.Jourdan@inria.fr (Martin Jourdan)
21 Feb 1996 00:04:37 -0500

          From comp.compilers

Related articles
Possible to write compiler to Java VM? (I volunteer to summarize) seibel@sirius.com (Peter Seibel) (1996-01-17)
Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) rfg@monkeys.com (1996-02-19)
Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) jgm@CS.Cornell.EDU (1996-02-19)
Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) Martin.Jourdan@inria.fr (1996-02-21)
Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) robison@kai.com (Arch Robison) (1996-02-21)
Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) hbaker@netcom.com (1996-02-22)
Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) dave@occl-cam.demon.co.uk (Dave Lloyd) (1996-02-22)
Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) gasser@ilw.agrl.ethz.ch (Laurent GASSER) (1996-02-23)
Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) fabre@gr.osf.org (Christian Fabre) (1996-02-23)
Re: Languages: The Bigger the Uglier (was: Re: Aliasing in ISO C) WStreett@shell.monmouth.com (1996-02-23)
[16 later articles]
| List of all articles for this month |

From: Martin.Jourdan@inria.fr (Martin Jourdan)
Newsgroups: comp.compilers
Date: 21 Feb 1996 00:04:37 -0500
Organization: Action Charme, INRIA, Rocquencourt, France
References: 96-01-037 96-02-226 96-02-234
Keywords: standards, design, Ada

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
--


Post a followup to this message

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