Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 18 May 1995 07:06:55 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA293495936;
          Wed, 17 May 1995 23:45:36 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from maui.cs.ucla.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA293435933;
          Wed, 17 May 1995 23:45:33 -0600
Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 4.1/3.27) 
          id AA25351; Wed, 17 May 95 22:44:04 PDT
Message-Id: <9505180544.AA25351@maui.cs.ucla.edu>
To: info-hol@leopard.cs.byu.edu
Subject: Re: Question on Dijkstra Quote
Date: Wed, 17 May 95 22:44:02 PDT
From: chou@cs.ucla.edu


> It is on page 6 of 
> 
> @InCollection{dijkstra-notes,
>   author =       "Edsger W. Dijkstra",
>   title =        "Notes on Structured Programming",
>   booktitle =    "Structured Programming",
>   publisher =    "Academic Press",
>   year =         1972,
>   editor =       "O.-J. Dahl and E. W. Dijkstra and C. A. R. Hoare"}
> 
> The precise quote is
> 
> "Program testing can be used to show the presence of bugs, but never
> to show their absence!"

Is there ANY method that can show the absence of bugs?

- Ching Tsun