From: rajeev@sftor.UUCP (S.Rajeev)
Subject: Re: What I miss... (really C, Ada, religion)
Date: Sat, 5-Oct-85 17:30:26 EDT [thread overview]
Date: Sat Oct 5 17:30:26 1985
Message-ID: <782@sftor.UUCP> (raw)
In-Reply-To: 879@lll-crg.UUCP
> If you program has a proof of correctness, ....
That is a very big if. How many large programs do you know that have
even informal, let alone formal, proofs using verification methods?
--
{allegra,ihnp4}!attunix!rajeev -- usenet
ihnp4!attunix!rajeev@BERKELEY -- arpanet
Sri Rajeev, SF 1-342, Bell Labs, Summit, NJ 07901. (201)-522-6330.
next prev parent reply other threads:[~1985-10-05 21:30 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <796@kuling.UUCP>
[not found] ` <2580002@csd2.UUCP>
[not found] ` <191@graffiti.UUCP>
[not found] ` <568@unisoft.UUCP>
1985-09-29 18:21 ` What I miss... (really C, Ada, religion) Jan Steinman
1985-10-02 1:16 ` Eugene D. Brooks III
1985-10-03 20:14 ` William D Michael
1985-10-05 19:23 ` DARIN JOHNSON
1985-10-04 13:04 ` Re: What I miss... (really C, Ada, r rosen
1985-10-04 13:44 ` What I miss... (really C, Ada, religion) Jon Mauney
1985-10-05 15:17 ` Swamp Thing
1985-10-05 21:30 ` S.Rajeev [this message]
1985-10-06 6:04 ` Jan Steinman
1985-10-07 20:56 ` J. Eric Roskos
1985-10-02 16:04 ` Peter da Silva
1985-10-07 21:04 ` J. Eric Roskos
1985-10-09 18:56 ` Wayne Throop
1985-10-09 23:47 ` Peter Ludemann
1985-09-30 20:00 ` Subscript out-of-bounds detection Joe Orost
1985-10-06 20:54 ` What I miss... (really C, Ada, religion) Eugene D. Brooks III
1985-10-07 14:13 ` Karl Tombre
1985-10-11 12:59 ` J. Eric Roskos
1985-10-13 6:28 ` Barry Margolin
1985-10-16 5:46 ` systolic processor? wildstar
1985-10-21 2:26 ` Re: What I miss... (really C, Ada, religion) Richard Welty
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox