Summary
Yes and no.

Is there truly such thing as provably correct code? Even though some code can be proven to be correct with regards to a specific specification, what guarantees that specification to be correct? The solution and the challenge go on ad infinitum without resolution.

On the other hand code can be viewed as always correct, if you take it to be its own specification.

How do you like them apples?

Talk Back!

Have an opinion? Readers have already posted 14 comments about this weblog entry. Why not add yours?

RSS Feed

If you'd like to be notified whenever Christopher Diggins adds a new entry to his weblog, subscribe to his RSS feed.

Digg | del.icio.us | Reddit

About the Blogger

Christopher Diggins is a software developer and freelance writer. Christopher loves programming, but is eternally frustrated by the shortcomings of modern programming languages. As would any reasonable person in his shoes, he decided to quit his day job to write his own ( www.heron-language.com ). Christopher is the co-author of the C++ Cookbook from O'Reilly. Christopher can be reached through his home page at www.cdiggins.com.