10秒プチ研究紹介：C言語のためのモジュールシステム

http://www.cs.umd.edu/~saurabhs/CMod/
(via http://www.cis.upenn.edu/~stevez/njpls/)

C言語にはModula-2やMLみたいなモジュールシステムはないけど、プログラマがヘッダファイルで手動のモジュールシステムもどきを実践している。それをちゃんと検査して、データ抽象みたいなもの？を保証しようという研究。わりと互換性重視らしい。試していないので詳しくはわからないが（←駄目じゃん）。