Code Reading

ソースコードを読み解く力をつけるために、読み始めた。

Code Reading―オープンソースから学ぶソフトウェア開発技法

まずは、

1章 序論
2章 プログラミングの基本要素
7章 コーディング標準と規約

の 3つの章を読了。

メモ。
インバリアントの妥当性が保たれることの証明、は
きちんと理解できてないか。
再アタックすること。
getopt()を最近使い始めたのだけど
BSDとGNUのガイドラインで、コマンドラインのオプション処理に
使うように、って決まってるのか。なるほど。
BSDのガイドラインを読むこと。
練習問題は、あとでやる。