Subscribe to this list via RSS Blog posts tagged in Microsoft Research
Your Flying Car is Ready: Amazing Programming Tools of the Future, Today! 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 unintention...
  • Page :
  • 1

Check out more tips and tricks in this development video: