Checking system rules using system-specific, programmerwritten compiler extensions (0)

by D Engler, B Chelf, A Chou, S Hallem
Venue:In Proceedings of the Fourth Symposium on Operating System Design and Implementation