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=0.1 required=5.0 tests=BAYES_05,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d3bcc180a8b0eea4 X-Google-Attributes: gid103376,public X-Google-Thread: 108abf,d3bcc180a8b0eea4 X-Google-Attributes: gid108abf,public From: Bill Greene Subject: Re: [Fwd: F22 completes 11% of its Flight tests] Date: 2000/01/12 Message-ID: <387D18E0.5289@Ganymede.com>#1/1 X-Deja-AN: 571879017 Content-Transfer-Encoding: 7bit References: <387C8859.621FA20B@netscape.net> <387CC1C0.4C57E34C@quadruscorp.com> <387CEE4A.3965@Ganymede.com> <387D011B.2DC@Ganymede.com> <387D0C1B.9D2@Ganymede.com> <3d8f4.2267$iy5.117569@typ12.deja.bcandid.com> Content-Type: text/plain; charset=us-ascii X-Trace: 12 Jan 2000 19:13:36 -0500, 208.240.117.1 Organization: Ganymede Software, Inc MIME-Version: 1.0 Newsgroups: comp.lang.ada,rec.aviation.military Date: 2000-01-12T00:00:00+00:00 List-Id: jtarver wrote: > > Bill Greene wrote in message > news:387D0C1B.9D2@Ganymede.com... > > The ACVC suite does not "validate that the VAX does what it says it > > does." > > Individual ACVC tests are designed (and named) to establish a compiler's > > compliance to specific chapters and paragraphs of the Ada Reference > > Manual, which *is* the Ada specification. > > Who wrote the Ada reference manual you V/V to? Was it Digital Equipment? For Ada 83, "The Reference Manual for the Ada Programming Language" is ANSI/MIL-STD-1815A-1983. It's also FIPS-PUB-119/NAC. It's also an ISO standard, but I don't have the document number with me. You can find a link to the individual chapters at http://www.adaic.com/standards/ada83.html. No single author is identified. Nowadays, Ada means Ada 95, and links to its reference manual and rationale are at http://www.adaic.com/standards/ada95.html. HTH. -- William R. Greene 1100 Perimeter Park Drive Ganymede Software, Inc. Suite 104 http://www.ganymede.com Morrisville, NC 27560 USA Phone: (919) 469-0997, ext. 280 Fax: (919) 469-5553