BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Manuel Fähndrich - Language Agnostic Specification and Verificati
 on for .NET
DTSTART:20100323T161500
DTSTAMP:20260925T054607Z
UID:ee55b2fb109a8a72e6261dc91d94278adae92365efa43a3543bdf436
CATEGORIES:Conferences - Seminars
DESCRIPTION:Manuel Fähndrich (Microsoft Research)\nOver the last few year
 s Microsoft Research has been working on bringing simple and pragmatic pro
 gram specification\, aka Code Contracts\, to programming languages targeti
 ng the Microsoft .NET platform.  Contracts document programming assumption
 s in a machine discoverable form.\n\nContracts are targeted at the general
  developer\, not the verification enthusiast. It is thus important to use 
 a single form of specifications that meets three simultaneous goals:\n* Fi
 rst and foremost\, contracts serve as documentation. They must be as reada
 ble as possible.\n* Second\, contracts should be executable. This motivate
 s writing specifications for testing and immediate perceived benefit\, wit
 hout consideration of static verification.\n* Finally\, contracts should h
 elp in static defect discovery and reduce false positives.\n\nOur specific
 ation approach is language-agnostic in that we use idiomatic code written 
 in the developer's source language to express preconditions\, postconditio
 ns\, and object invariants.
LOCATION:INM 010
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR