On Mon, 02 Jan 2006 19:35:10 -0500, Mike Meyer wrote: > What SPARK papers I have > found concentrate more on correctness than productivity: IIRC, they > claim millions of lines of production code with no errors.
Writing error-free code is easy. That's just a matter of incremental improvement of error-full code. Writing error-free code *the first time* is hard. One wonders how many edit-compile-test cycles it takes to get these millions of lines of error-free code. -- Steven. -- http://mail.python.org/mailman/listinfo/python-list