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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a8985ede8fe3d111
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-04 17:16:57 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!swiss.ans.net!cmcl2!lab.ultra.nyu.edu!kenner
From: kenner@lab.ultra.nyu.edu (Richard Kenner)
Newsgroups: comp.lang.ada
Subject: Re: Is Ada the future? [was: Is C++ the future?]
Date: 4 Oct 1994 15:53:54 GMT
Organization: New York University Ultracomputer Research Lab
Message-ID: <36rtqi$31i@cmcl2.NYU.EDU>
References: <EACHUS.94Oct3095345@spectre.mitre.org>
 <milodCx46t7.FIB@netcom.com> <36rpp7$kjk@gnat.cs.nyu.edu>
NNTP-Posting-Host: lab.ultra.nyu.edu
Date: 1994-10-04T15:53:54+00:00
List-Id: <comp.lang.ada>

In article <36rpp7$kjk@gnat.cs.nyu.edu> dewar@cs.nyu.edu (Robert Dewar) writes:
>My goodness, it sure is suprising for someone to ask what the difference
>between correctness and reliability is.

Offhand, I'd say it's roughly the same as the difference between
accuracy and precision.  :-)