We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Advances in Code Contracts for .NET

No logo availableNorwegian Developers Conference (NDC)
 Ball, Thomas

Formal Metadata

Title
Advances in Code Contracts for .NET
Title of Series
Number of Parts
110
Author
License
CC Attribution - NonCommercial - ShareAlike 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor and the work or content is shared also in adapted form only under the conditions of this
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. In this talk, I ‘ll demonstrate Code Contracts and focus on the advances we have made in the static checker and new support for assisted code repair using the Roslyn CTP.