Jeffrey Rainy wrote: > Do you think I could compare my code withyours, to find my bug ?What a terrible suggestion! The proper method is to publish each program's algorithm and provide a formal proof why the algorithm (and then its implementation) would be correct. -- robert jasiek
Does anyone actually use formal proofs of correctness to debug code? Is it really a practical method of getting rid of all bugs? Thanks. Tom. -- No virus found in this outgoing message. Checked by AVG Anti-Virus. Version: 7.0.300 / Virus Database: 265.7.2 - Release Date: 21/01/2005 _______________________________________________ computer-go mailing list computer-go@xxxxxxxxxxxxxxxxx http://www.computer-go.org/mailman/listinfo/computer-go/