Re: Ada Docs/Books - Elaboration, other complex stuff

[Ehud Lamm <mslamm@mscc.huji.ac.il>]

One of the nice things about Ada is that so much design documents are out
there, giving you a glimpse into the reasoning behind the scenes. Actually
I was wonderring awhile ago about building a course arround all these.

Things worth looking for (you can use links from my homepage below,
adapower and the outdated but still usefull adahome):
 - LRM & Rational - These are, naturally, a must. 
 - AARM (Annotated RM) - This contains alot of issue about implementation
   etc. Elaboartion and so on. 
 - LSN - Langugae Study Notes (look at adaic). 
 - MRT documents - The mapping and revision team for Ada9x documents.
   These can be really illuminating
 
well this should give you a start.

Since you are using GNAT, and mentioned elaboration - The GNAT user guide
explanation of this issue (and GNAT's implemenetation) is very useful.

Anyone writing a book on the gory details of Ada? I'd love to read it
(well, I'd also love to write it... But I wouldn't trust myself just yet
:-)

Ehud Lamm mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm <== My home on the web 
Check it out and subscribe to the E-List- for interesting essays and more!