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=3.4 required=5.0 tests=BAYES_50,INVALID_DATE, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!think.com!sdd.hp.com!zaphod.mps.ohio-state.edu!rpi!batcomputer!eagle.cnsf.cornell.edu!mjn From: mjn@wren.cnsf.cornell.edu (Michael J. North) Newsgroups: comp.lang.ada Subject: Ada compiler validation Keywords: compiler certification validation Message-ID: <1991Feb6.012619.28337@batcomputer.tn.cornell.edu> Date: 6 Feb 91 01:26:19 GMT Sender: news@batcomputer.tn.cornell.edu Reply-To: mjn@eagle.cnsf.cornell.edu Organization: Cornell Information Technologies Nntp-Posting-Host: wren.cnsf.cornell.edu List-Id: Could someone give me some pointers as to whom I could go to get a compiler validated and how much it might might cost? -- Michael J. North Cornell Information Technologies 315 CCC Garden Avenue mjn@eagle.cnsf.cornell.edu Ithaca, NY 14853-2601 607/255-6695