Tag Archives: formal methods

Updated Dijkstra vs Perlis (really, DeMillo)

Posted on November 25, 2008 by admin

See below.

Posted in architecture, security+fault-tolerance, software engineering, software security, software security | Tagged , , , | Leave a comment

Dijkstra versus Perlis (updated)

Posted on November 10, 2008 by admin

Here’s Dijkstra He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite Here’s the paper by De Millo, Lipton and Perlis. It starts as follows: Many people have argued that computer programming should strive to … Continue reading →

Posted in security+fault-tolerance, software engineering, software security, software security | Tagged , , , , | Leave a comment

Meaning of concurrent programs and IP

Posted on July 17, 2008 by admin

Most of the new draft of the Concurrent Programs paper has to do with trying to specify problems and solutions in synchronization via an atomic  “compare and swap” operation. Even these operations are surprisingly complicated once put under the microscope … Continue reading →

Posted in intellectual property, software business, software engineering | Tagged , , , , , | Leave a comment