Sciweavers

OSDI
2000
ACM

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions

14 years 1 months ago
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where OSDI
Authors Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Comments (0)