Code Contracts #5: Method purity

This short post gives you an overview of method purity in terms of Code Contracts and DbC in general. It explains what it is, how, where and why to use it and implications that come with it. Enjoy and give me feedback, if you want.