Beginnings

This summer I am pleased to be part of Google Summer of Code 2010. I will be working on the Mono project, implementing the .NET4 Code Contract Verifiers, mentored by Marek Safar. This is a large body of work, and I am not considering trying to fully implement every part of it. By the end of the summer I expect to have:

• The System.Diagnostics.Contracts namespace fully implemented in corlib.
• A working runtime verifier that supports pre-conditions.
• A working static verifier that supports pre-conditions.
• Tests and documentation of the above!

Of course,  I hope to implement a lot more than this, so let's see how things go...