On-Line copy of a Validation Report

Article View: net.lang.ada

Article #935

#935

From: hogan
Date: Sat, 30 Aug 1986 20:28

9 lines
1051 bytes

Does any one have a copy of a validation report for any of the validated
Ada compilers that is available on-line (via FTP) ?  

Having just read over about six of validation reports, I have noticed 
a vast inconsistency between them.  I intend to make a suggestion to the 
AJPO that all report follow a consistent format (e.g. same paragraph numbers have the same information in them.  All table have the same information, etc), 
but I would like to also send a suggested version for such a template.

mike hogan

Technical Details

Message-ID: <8608302029.AA11775@aerospace.arpa>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!columbia!caip!clyde!cbatt!cbosgd!ucbvax!AEROSPACE.ARPA!hogan

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!columbia!caip!clyde!cbatt!cbosgd!ucbvax!AEROSPACE.ARPA!hogan
From: hogan@AEROSPACE.ARPA
Newsgroups: net.lang.ada
Subject: On-Line copy of a Validation Report
Message-ID: <8608302029.AA11775@aerospace.arpa>
Date: Sat, 30-Aug-86 16:28:50 EDT
Article-I.D.: aerospac.8608302029.AA11775
Posted: Sat Aug 30 16:28:50 1986
Date-Received: Sun, 31-Aug-86 09:03:57 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 9