FOP - 第２章 仕様に基づくテスト — QuickCheck を使って

プログラムの正しさを仕様とランダムなテストで検査する．

1. 二分ヒープ木の楽しみ
2. 仕様に基づくテスト
3. おりがみプログラミング
4. Haskellで音楽を記述し解釈する
5. 融合変換を自動化する
6. 金融取引契約の書き方
7. 関数画像
8. Lava: 関数によるハードウェアの記述
9. 論理プログラミングのためのコンビネータ
10. アローと計算
11. もっと整ったプリティプリンタ
12. ファントム型を楽しむ