Friday 28 May 2010

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

No comments:

Post a Comment