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

Statistics

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

Visits by Source

User Actions

Users who voted for this posting

Bascy
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)