Vote UpVote

Your Flying Car is Ready: Amazing Programming Tools of the Future, Today!

Craig Stuntz's Weblog – That’s the title of my presentation at Dog Food Conference 2014, 29-30 September, in Columbus, Ohio. If you found my post on "Test-Only Development" with the Z3 Theorem Prover was interesting, then you’ll love this. What if simply writing "unit tests" was enough to produce a program which makes them pass? What if your compiler could guarantee that your OpenSSL replacement follows the TLS specification to the letter? What if you could write a test which showed that your code had no unintentional behavior? Microsoft Research is well known for its contributions to Kinect, F#, the ...
Favorite? Off-Topic? Craig Stuntz @ 2014-08-01 16:30


Visits: 852
Votes: 1
Favorites: 0
Off-Topic: 1

Visits by Source

User Actions

Users who voted for this posting

Alister Christie
Contact us to advertise on DelphiFeeds.com

Community Links

Torry Firebird News


Please login or register to use this functionality.
(click on this box to dismiss)