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,c4c7a009e4d10ee8 X-Google-Attributes: gid103376,public From: matthew_heaney@acm.org (Matthew Heaney) Subject: Re: ASIS for GNAT Date: 1998/04/20 Message-ID: #1/1 X-Deja-AN: 345994872 Content-Transfer-Encoding: 8bit References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Organization: Network Intensive Newsgroups: comp.lang.ada Date: 1998-04-20T00:00:00+00:00 List-Id: In article , 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)