formal methods

The source of error (updated)

July 8, 2009 | 0 Comments

Here’s Edsger Dijkstra discussing the birth of the use of axiomatics in computer science – the start of “formal methods” research.  What’s [...]

Recursion and state

July 2, 2009 | 0 Comments

Despite some deep results, algebraic automata theory has fallen out of favor in theoretical computer science. Reasons include the disciplines failings such as a love of [...]

Are threads evil? (updated)

February 25, 2009 | 1 Comment

This paper by Prof. Edward Lee explains something of why “threads” are such a painful abstraction.  As Prof. Lee notes, threads intrinsically create unspecified [...]

Dijkstra versus Perlis (updated)

November 10, 2008 | 3 Comments

Bertrand Russell. Dijkstra wrote: He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite The paper  by De Millo, Lipton [...]

Meaning of concurrent programs and IP

July 17, 2008 | 0 Comments

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 [...]