Monthly Archives: July 2006

In January, Richard Bornat and Saeed Dehnadi discussed their work on testing programmer competence at the PPIG WIP workshop at Coventry, and now it’s featured in the Grauniad. Woo!Blogged with Flock Continue reading →

This is the second in my “Programming idioms” series, the first (on mixin classes) can be found here. Design by contract (DBC) is a practical implementation of Floyd-Hoare logic which is intended to eliminate certain classes of bugs from imperativ… Continue reading →

I’ve decided to devote a few blog posts to programming idioms. These aren’t as fancy as design patterns but they are useful and often skipped over by text books. At the very least, you rarely see a whole bunch of them collected together. So… in … Continue reading →