Greg Young [MVP] » All Tags » contracts (RSS)

Browse by Tags

Greg Young [MVP]

Sponsors

The Lounge

Wicked Cool Jobs

Syndication

Recent Posts

Tags

View more

News

Archives

Advertisement

  • 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. This came from the starting fish bowl on polygot programming ....
    Filed under: , , ,

  • 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 I was really waiting for the Java/C# "Attack of the Clones" reference...
    Filed under: , ,

  • 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 we get spec#?". The simple answer is we have to want spec# and Microsoft...
    Filed under: , ,

  • 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 it and as always feel free to leave feedback! the video is not the best quality but hey ... it was taken...
    Filed under: , , ,

  • 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 I have proven that a condition could never possibly fail and that all of my code is covered...
    Filed under: , ,
Devlicio.us