Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQLevel up your software skills by uncovering the emerging trends you should focus on. Register now.
Discover 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.
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.