I am interested in code contracts as a means to clarify code and reduce bugs. Microsoft released a code contracts library and assorted tools for .Net, here. I intend to do a MS thesis on measuring the runtime performance of code contracts. To do this I need a body of code that uses code contracts. So I decided to write some code using code contracts for doing a few simple computational geometry operations.

The name GLCC stands for “Geometry Library with Code Contracts”. The code is hosted at GitHub, here.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s