The Armchair Politician

For the past several weeks, I’ve been working on a project I’ve entitled DBC#. At its core, DBC# is a way to createhttp://www.movabletype.org/ and automatically enforce contracts on method calls. We’ve all heard programming professors talk about the importance of specifying preconditions, postconditions, and invariants, but only Eiffel ever incorporated these into their language. With .NET attributes, I hope to change this.
Continue Reading »