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. I had to cut it a bit short in terms of time because John had to go but there are some interesting thoughts brought out (in particular the annealing of software over time).  Anyways … here is the video, enjoy!



This entry was posted in contracts, dbc, spec#, video. Bookmark the permalink. Follow any comments here with the RSS feed for this post.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>