Vote UpVote

"Test-Only Development" with the Z3 Theorem Prover

Craig Stuntz's Weblog – In this post I’ll introduce a style of programming which may be totally unfamiliar and perhaps a bit magical to many readers. What if you could write a unit test for a problem and have your compiler automatically return a correct implementation? Call it "test only" instead of "test first." I’m going to translate the problem itself into a specification language and use Microsoft Research’s Z3 theorem prover to find a solution. I won’t write any implementation code at all! A Simple Problem Here’s the problem I’ll use as an example, which is problem #5 from the ...
Favorite? Off-Topic? Craig Stuntz @ 2014-07-07 17:00


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

Visits by Source

User Actions

Users who voted for this posting

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)