On Sat, Nov 20, 1999 at 02:41:23AM -0800, Joey Hess wrote: > Actually, it's possible to prove programs are correct (and thus bug-free). > It's just that this doesn't work very well for programs of any significant > size. Its not possible for all programs... and especially not for programs who use external functions. Or how do u solve the halt problem? You could only proof that they are "partial correct". Greetings Bernd