Microsoft Research: Spec#

Summary

This episode of Hanselminutes discusses Spec# a programming language from Microsoft Research that extends C# by adding specifications like pre/post conditions and non-nullable types. The takeaway is that Spec# allows developers to embed design decisions directly into code for better verification and compiles to .NET assemblies independently of the C# compiler.