Laff On Programming for Correctness

eBook (PDF), 426 Pages
This item has not been rated yet
Price: Free
In the 1972 ACM Turing Lecture ``The Humble Programmer,'' Edsger W. Dijkstra suggested: ``Today a usual technique is to make a program and then to test it. But: program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence. The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness. But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden. On the contrary: the programmer should let correctness proof and program grow hand in hand." Programming for Correctness introduces the basic tools that enable goal-oriented programming and demonstrates its practical application.
Available in PDF Format

Ratings & Reviews

Log in to review this item
There are no reviews for the current version of this product
There are no reviews for previous versions of this product

Product Details

Sept. 30, 2017
September 30, 2017
File Format
File Size
46.95 MB

Formats for this Ebook

Required Software Any PDF Reader, Apple Preview
Supported Devices Windows PC/PocketPC, Mac OS, Linux OS, Apple iPhone/iPod Touch... (See More)
# of Devices Unlimited
Flowing Text / Pages Pages
Printable? Yes
Report This Content to Lulu >

Moderation of Questionable Content

Thank you for your interest in helping us moderate questionable content on Lulu. If you need assistance with an order or the publishing process, please contact our support team directly.

How does this content violate the Lulu Membership Agreement?


Listed In

More From Robert van de Geijn & Margaret Myers