 |
 |
 |
 |
 |
|
Delphi-PRAXiS - Lounge
Delphi-News aus aller Welt
"Test-Only Development" with the Z3 Theorem Prover
Antwort
|
Registriert seit: 4. Jun 2010 15.407 Beiträge |
#1
"Test-Only Development" with the Z3 Theorem Prover
7. Jul 2014, 18:20
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." ...
 More...
|
Zitat
|
ForumregelnEs ist dir nicht erlaubt, neue Themen zu verfassen.
Es ist dir nicht erlaubt, auf Beiträge zu antworten.
Es ist dir nicht erlaubt, Anhänge hochzuladen.
Es ist dir nicht erlaubt, deine Beiträge zu bearbeiten.
BB-Code ist an.
Smileys sind an.
[IMG] Code ist an.
HTML-Code ist aus. Trackbacks are an
Pingbacks are an
Refbacks are aus
|
|
Linear-Darstellung
