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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fddb27b4ec363cfa X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-11 11:16:30 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!paloalto-snf1.gtei.net!news.gtei.net!enews.sgi.com!news-peer-west.sprintlink.net!news.sprintlink.net!newsfeed.direct.ca!look.ca!newsfeed1.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3B4C8B6D.9A7C07DA@earthlink.net> From: "Marc A. Criley" Organization: Quadrus Corporation X-Mailer: Mozilla 4.73 [en] (X11; U; Linux 2.2.14-5.0 i686) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Documentation about ASIS. References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 11 Jul 2001 18:16:24 GMT NNTP-Posting-Host: 158.252.123.160 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 994875384 158.252.123.160 (Wed, 11 Jul 2001 11:16:24 PDT) NNTP-Posting-Date: Wed, 11 Jul 2001 11:16:24 PDT X-Received-Date: Wed, 11 Jul 2001 11:14:07 PDT (newsmaster1.prod.itd.earthlink.net) Xref: archiver1.google.com comp.lang.ada:9818 Date: 2001-07-11T18:16:24+00:00 List-Id: Achim Kern wrote: > > Hello, > > I am looking for some good documentation about the Ada Semantic > Interface Specification (ASIS). Something like a "complete" user guide > or a book would be nice. I am not aware of any books devoted to ASIS, but there is a large collection of ASIS-oriented material at http://www.acm.org/sigada/WG/asiswg/. In addition, the ASIS-for-GNAT distribution contains some reference material (get a Linux distributation at http://www.gnuada.org/rpms313p.html). Marc A. Criley Senior Staff Engineer Quadrus Corporation www.quadruscorp.com