From 2 sources I got the impression that with certain programming languages
(C?, or a different formal language), when used properly, programs can be
produced that can be proved to be bug-less.

Sci. Am. of severals months back.
2. Work done by my excellent countryman Edsger Dijkstra, who now works in
the USA (http://www.sis.pitt.edu/~mbsclass/is2000/hall_of_fame/dijkstra.htm
not on this subject, this link). I get the impression that things have
progressed since he gave his evaluation of programming languages.
Sander
--
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
-=-=-=
http://www.ttl98.dsu.edu/moerkeb/_private/a_rose_is_a_rose_is_a_rose.htm
Peter Popov <pet### [at] usanet> schreef in berichtnieuws
dR47OHvBN+DVBRpEWsyM11WNGrs+@4ax.com...
> On Tue, 23 Nov 1999 14:54:39 -0800, Ken <tyl### [at] pacbellnet> wrote:
> Every software is buggy.

Post a reply to this message