The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 |
Newsgroups: comp.software-eng
From: merri...@ccavax.camb.com
Date: 21 Jan 90 21:51:49 GMT
Local: Sun, Jan 21 1990 4:51 pm
Subject: Re: Reasons why you don't prove your programs are correct
In article <16...@joshua.athertn.Atherton.COM>,
jos...@athertn.Atherton.COM (Flame Bait) writes: > With current technology you can not prove a (real-world) program correct. In my corner of the real world, most programs consist mainly of operating system and other outside vendor supplied subsystem calls glued together with rather trivial computations. It seems to me that it is futile to attempt to prove my programs correct if the low level operations (from my point of view) are not rigorously defined (let alone proven to be correct themselves). You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| |||||||||||||