title: declare code as side-effects free using microsoft code contracts
body: <p>Is there a way to declare a method as side-effects free using <a href="http://research.microsoft.com/en-us/projects/contracts/" rel="nofollow">Microsoft Code Contracts</a> (.net 4)?</p>