Re: Reasons why you don't prove your programs are correct

Mayer Goldberg <mayer@iuvax.cs.indiana.edu>
17 Jan 90 05:05:56 GMT

          From comp.compilers
Related articles
Reasons why you don't prove your programs are correct steve@hubcap.clemson.edu (1990-01-05)
Re: Reasons why you don't prove your programs are correct keithd@anvil.oz.au (1990-01-12)
Re: Reasons why you don't prove your programs are correct mayer@iuvax.cs.indiana.edu (Mayer Goldberg) (1990-01-17)
Re: Reasons why you don't prove your programs are correct pardo@cs.washington.edu (1990-01-22)
Re: Reasons why you don't prove your programs are correct pardo@cs.washington.edu (1990-01-24)
Re: Reasons why you don't prove your programs are correct gateley@m2.csc.ti.com (1990-01-26)
| List of all articles for this month |
From: Mayer Goldberg <mayer@iuvax.cs.indiana.edu>
Newsgroups: comp.compilers,comp.edu
Date: 17 Jan 90 05:05:56 GMT
References: <7578@hubcap.clemson.edu> <1990Jan16.232703.2368@esegue.segue.boston.ma.us>
Organization: Indiana University CSCI, Bloomington

I don't think that the proof theory which produces boring, unintuitive
yet correct code, is meant for you to use to verify your own programs
... I would think it is meant for automatic code generation. This
could be useful, and time saving.


Mayer Goldberg
mayer@iuvax.cs.indiana.edu




Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.