Monthly Archives: July 2006

Testing programmer aptitude

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

Advertisements
Posted in Uncategorized | Leave a comment

Programming idioms #2: Design by contract

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

Posted in Uncategorized | Leave a comment

Programming idioms #1: Mixin classes

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

Posted in Uncategorized | Leave a comment