Re: ASIS for GNAT

[matthew_heaney@acm.org (Matthew Heaney)]

In article <llafh6.ak.ln@localhost>, njt@cs.york.ac.uk (Nigel J. Tracey) wrote:

(start of quote)
Can anyone give me pointers on where to find the latest public version of
ASIS-for-GNAT. I am doing some research in automated test-data generation
for Ada programs and currently rely on using the internal GNAT semantic
tree. Obviously using ASIS is the way to go. I would like to know how
complete the ASIS implementation is, which version of GNAT it works with,
and where to find it. 
(end of quote)

Here is post to the Team-Ada list by the chair of the ASIS WG.  You can get
more info at the ASIS webpage at ACM.

(start of quote)
Subject:     ASIS Ballot Successful!!!
Date:        03.25  7:53 AM
Received:    03.25  9:42 PM
From:        Currie Colket, colket@colket.org
To:          TEAM-ADA@ACM.ORG

Dear Team-Ada,

The concurrent ballots for Committee Draft (CD) Registration and Final
CD (FCD) Approval for FCD 15291 - Information technology - Programming
languages - Ada Semantic Interface Specification (ASIS) were completed
on 9 March 1998.

I am very pleased to inform you that ASIS had a successful ballot. ASIS
is now a registered Committee Draft and the ASIS Version with FCD
comments resolved will be a Draft International Standard (DIS). Fourteen
nations voted to Approve FCD 15291. These nations are: Belgium, Canada,
Czech Republic, Egypt, Finland, France, Ireland, Japan, Netherlands,
Norway, Russian Federation, UK, Ukraine, and USA. Four nations Abstained
and five nations did not vote. There were no ballots
voting to Disapprove.

Once we prepare the DIS and submit the resolution of comments, only one
more Ballot, the Final DIS (FDIS) Ballot,  is needed to turn ASIS into
an ISO Standard.

Two nations provided comments, Japan and the USA.  The Editorial
Comments resulting from SC22's Ballot are numbered from C#093 through
C#105. The Technical Issues are numbered from #082 through #093. More
details on the ISO standardization of ASIS are available on the ASIS
Home Page =>

            http://www.acm.org/sigada/WG/asiswg

by following the link for "Details are available." The editorial
comments and technical issues can be found by following the link to ISO
Working Draft. ASIS Tutorial information is available on the ASIS Home
Page as well. Mr. Clyde Roby has done an excellent job updating the ASIS
Home Page with all the updated information concerning the successful
ASIS FCD Ballot.

The thirteen editorial comments will be resolved by the ASIS Technical
Editors, Mr. Clyde Roby and Mr. Steve Blake. The technical issues will
be resolved by the asis-technical mailing list. If you are interested in
participating in the resolution of the SC22 technical issues and are not
on asis-technical, you may join by sending email to =>

        asis-technical-request@sw-eng.falls-church.va.us.

Thank you all for making this happen!!!!

v/r
Currie Colket
Chair ASISWG/Chair ASISRG
colket@acm.org
+1 (703) 242-4561
(end of quote)