GLCC

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.

Advertisements

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s