From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d796d97f9a6f9414 X-Google-Attributes: gid103376,public From: Ehud Lamm Subject: Re: Ada Docs/Books - Elaboration, other complex stuff Date: 2000/01/11 Message-ID: #1/1 X-Deja-AN: 571159126 References: <387b23ee.18250265@news.demon.co.uk> Content-Type: TEXT/PLAIN; charset=US-ASCII X-Complaints-To: usenet@news.huji.ac.il X-Trace: news.huji.ac.il 947595274 23339 132.64.178.45 (11 Jan 2000 12:54:34 GMT) Organization: The Hebrew University of Jerusalem Mime-Version: 1.0 NNTP-Posting-Date: 11 Jan 2000 12:54:34 GMT Newsgroups: comp.lang.ada Date: 2000-01-11T12:54:34+00:00 List-Id: 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!