How to write system-specific, static checkers in metal.

Benjamin Chelf Dawson R. Engler Seth Hallem How to write system-specific, static checkers in metal. 51-60 2002 conf/paste/2002 PASTE http://doi.acm.org/10.1145/586094.586097 db/conf/paste/paste2002.html#ChelfEH02