1
vote
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

Statistics

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

Visits by Source

User Actions

Users who voted for this posting

Alister Christie
Subscribe:
Contact us to advertise on DelphiFeeds.com

Community Links

Torry Firebird News

Sponsor

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