Microsoft offers language-agnostic coding technology

InfoWorld | at | by Mike

Bolstering developers, Microsoft Research has developed Code Contracts, offering a language-agnostic way to express coding assumptions in .Net.

The technology was released on the Microsoft DevLabs site this week. Code Contracts provide the innovations of "design-by-contract" programming to .Net programming languages. Contracts take the form of pre-conditions, post-conditions and object invariants, and act as checked documentation of APIs. Also, contracts improve testing via runtime checking and enable static contract verification and documentation generation.