Sponsored By Aspose - File Format APIs for .NET

Aspose are the market leader of .NET APIs for file business formats – natively work with DOCX, XLSX, PPT, PDF, MSG, MPP, images formats and many more!

Category Archives: contracts

Dynamic Languages vs Static Verification

At alt.net Seattle as some may remember I was doing a bunch of interviews for infoq.com. On of those quick videos was a talk with Rustan Leino, Mike Barnett, John Lam, and Matt Podwysocki about dynamic languages and static verification. … Continue reading 

Also posted in dbc, spec#, video | Leave a comment

Revenge of the Statically Typed Languages

  There have been some great posts recently going around about the merits of static vs dynamic languages … Dynamic Languages Strike Back by Steve Yegge Return of the Statically Typed Languages by Cedric   I have to admit that … Continue reading 

Also posted in dbc, spec# | 5 Comments

I Want Spec#

                                               Scott Hanselman has recently put up a new hanselminutes of an interview with the spec# team. This interview was done at altdotnet; one of the key points of discussion both in general and in the interview was “how can … Continue reading 

Also posted in dbc, spec# | 38 Comments

Altdotnet Spec# Session

Here is another video in the videos from altdotnet. We had Rustan and Mike of the spec# come out from their cave (j/k) at MSR to talk about spec#, boogie, and the future of compile time proving!     Enjoy … Continue reading 

Also posted in dbc, spec#, video | 57 Comments

DbC and Iterators

For those who have never been in one of my spec# talks one of the largest benefits I like to tout about spec# is that it offers the possibility of removing runtime checks through the use of static verification.  If … Continue reading 

Also posted in dbc, spec# | 5 Comments