Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQDiscover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.
Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.
Explore insights, real-world best practices and solutions in software development & leadership. Register now.
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.
InfoQ Homepage News Interview: Rustan Leino and Mike Barnett on Spec#
Greg Young sat down with Rustan Leino and Mike Barnett of Microsoft Research to discuss Spec#. Spec# is a superset of C# version 2.0 and allows developers to impose contracts on their own code and verify it.
Topics covered in the interview:
Enjoy this interview on Spec# brought you by Infoq.com.
