The so-called experts will tell you it can’t be done; it is not possible to create bug-free software, at least at low-cost for a non-trivial application. Now it seems, we have our first documented case of ostensibly zero-defect software.
Continue reading “Correctness by Construction: Praxis Scores!” »
An article was brought to my attention recently. It contains an interview with Bjarne Stroustrop, of C++ fame, discussing the language to which he gave life. Aside from a few technical non sequiturs, such as referring to C++ as “the archetypal ‘high level’ computer language (that is, one that preserves the features of natural, human language)”, I found the article rather entertaining.
In 1968, Edsger Dijkstra published the paper that put him on the map permanently in the minds of most of the software development community. While he made a number of very important contributions to computer science during his lifetime; I believe that “Go To Statement Considered Harmful” has spawned what has become perhaps the most enduring and pervasive religion in the annals of computing history. In my two-plus decades in the industry, I’ve seen only one coding standard which did not entirely prohibit the presence of the goto statement; and even that one that allowed it in one limited circumstance.
