Show #237 | 5/15/2007 (64 minutes)
Rustan Leino on Spec #
Rustan Leino discusses with Carl and Richard the features and functionality of the Spec # programming language.
 Rustan Leino is a Principal Researcher at Microsoft Research, where his research centers around programming tools. He is currently working on the design and implementation of the Spec# programming language and its static program verifier. Before joining Microsoft Research, Leino worked as a researcher at DEC/Compaq SRC, where among other things he led the Extended Static Checking for Java (ESC/Java) project, a program checker built on the technology of program verification. His PhD thesis from Caltech (1995) addressed an important specification problem in ESC/Modula-3. Before going to graduate school, Leino worked as a software developer and technical lead in Windows/NT at Microsoft. He has written code that shipped in releases of Windows 3.0, Windows 3.1, and Windows/NT 3.5. In his spare time, he plays and records music, teaches step aerobics, and spends time with his wife and four children.
|
|
Links from the Show
|
|
|
|
Telerik
Building quality software is never easy. It requires skills and imagination. We cannot promise to improve your skills, but when it comes to User Interface, we can provide the building blocks to take your application a step closer to your imagination. Explore the leading UI suites for ASP.NET and Windows Forms. Enjoy the versatility of our new-generation Reporting Tool. Dive into our online community. Visit www.telerik.com.
Developer Express
The Fastest and Easiest Way to Deliver Feature-Rich .NET Framework Solutions to Your Customers! Developer Express engineers feature-complete visual components and IDE tools for Visual Studio .NET. Our technologies help you build your best, see complex software with greater clarity, increase your productivity and create stunning applications for Windows(r) and the Web in the shortest possible time. To learn more about Developer Express and obtain free evaluation copies of our entire .NET product line, visit us online at www.devexpress.com
.NET Developers Journal
Acknowledged as the world’s leading independent unbiased developer
reference source for .NET developers, .NET Developer’s Journal features
technical insights into every aspect of .NET, including the server
side, the desktop, and mobile devices. Written by .NET developers for
.NET developers, .NETDJ offers a lively mix of articles, interviews,
product reviews, and commentary. .NETDJ’s highly active editorial board
includes some of the luminaries of the sorftware development world.
|
|
|