"Test-Only Development" with the Z3 Theorem Prover

[DP News-Robot]

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." ...http://feeds.feedburner.com/~r/delph...~4/i3Y3nvt2AKE

More...