Ada 0Y papers (was: Re: new Ada compiler)

[dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)]

>Marius Amado Alves <amado.alves@netcabo.pt> writes:
>> If you have access to the Springer-Verlag's Lecture Notes in
>> Computer Science series you might want to check out "An Invitation
>> to Ada 2005" by Pascal Leroy on issue 2655 (year 2003).

Pascal Obry  <p.obry@wanadoo.fr> wrote:
>Is there an HTML/PDF version of it somewhere ?

Pascal's invited paper was presented at the 8th International
Conference on Reliable Software Technologies - Ada-Europe'2003,
which was held in Toulouse, France, in June this year.

Since many years, the proceedings of the Ada-Europe conferences are
published by Springer in their LNCS series.  Those who can't attend our
conference can order copies directly from Springer both in printed or
in electronic form.  For full information on this year's proceedings:
<http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-0-22-2345048-0,00.html>

The abstract of the "Invitation to Ada 2005" paper is available at
<http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2655&spage=1>
as is the full paper in PDF format.  Downloading the latter requires
registration, though.

Authors are allowed to put their papers on their web site as well.
I have contacted Pascal to see whether that's possible.

Note: an early version of this paper was also printed in the Ada User
Journal, volume 23, number 4, published in December 2002.  Overview
articles with highlights of the language revision process are published
regularly in this Journal.

Incidently, I would urge everyone interested in the future of Ada
to consider indirect membership of the Ada-Europe organization: this
includes among others a subscription to the Ada User Journal, published
4 times a year.  For more info on how to become a member of Ada-Europe
see <http://www.ada-europe.org/join.html>.

I hope this helps.

Dirk Craeynest
Ada-Europe board & Ada User Journal editorial board member
Dirk.Craeynest@cs.kuleuven.ac.be (for Ada-Belgium/Europe e-mail)

*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2004
*** June 14-18, 2004, Palma de Mallorca, Spain ** www.ada-europe.org ***