Copenhagen Programming Language Seminar


Mike Barnett, Microsoft Research

Thursday 20 May 2010, 11:00-12:00
 Auditorium 4 at the IT University

Code Contracts for .NET is a comprehensive system for
design-by-contract programming throughout the .NET platform. It
consists of a standardized API for expressing preconditions and
postconditions for methods as well as object invariants. It allows
programmers to document these common programming assumptions in a
maintainable and machine-readable form. Code Contracts are publically
available through Microsoft Visual Studio?s DevLabs incubation

Having a standard API that is accessible from all .NET languages means
that tools can take advantage of the contracts authored in any .NET
language. We demonstrate our prototype tools for automatic
documentation generation, runtime checking, static analysis, and IDE
integration. We also discuss the design choices for such a system, the
technical challenges, and the future prospects for Code Contracts
becoming an integral part of the .NET Framework.


Bio of Mike Barnett:

I am a Research Software Design Engineer in the Programming Languages
and Methods group, which is part of the Research in Software
Engineering (RiSE) team.

I have been with the Microsoft Corporation since July 1995. First, I
was a member of the Natural Language Processing Group in Microsoft
Research, moving to the Foundations of Software Engineering group in
the fall of 1999. I am now a member of the Programming Languages and
Methods group. Before coming to Microsoft, I had been an assistant
professor of Computer Science at the University of Idaho for three
years. I received my PhD in Computer Science from the University of
Texas at Austin in 1992.

Scientific host: Peter Sestoft Administrative host:Renée Korver Michan. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org