Videos tagged with Spec#

Watch interviews from the conference floor at the 2009 Google I/O Developer Sandbox. Developers chat with us on their apps and share technical as well as business insights on challenges and best practices. Company interviewed: NingFor more, visit: http://code.google.com/events/io/sandbox.html

Watch interviews from the conference floor at the 2009 Google I/O Developer Sandbox. Developers chat with us on their apps and share technical as well as business insights on challenges and best practices. Company interviewed: NingFor more, visit: http://code.google.com/events/io/sandbox.html

Watch interviews from the conference floor at the 2009 Google I/O Developer Sandbox. Developers chat with us on their apps and share technical as well as business insights on challenges and best practices. Company interviewed: Ning

Summary Greg Young sat down with Rustan Leino and Mike Barnett of Microsoft Research to discuss Spec#. Spec# is a superset of C# and allows developers to impose contracts on their own code and verify it. This benefits developers by allowing them to find their own errors sooner saving time and resources. Bio Rustan Leino and Mike Barnett are part of an academic research time within Microsoft Res...