'Checking system rules' diaporamas de présentation

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

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. by D. Engler, B. Chelf, A. Chou, S. Hallem published in OSDI 2000 Hong,Shin. Contents. Introduction Meta-level Compilation Checking Assertion Side-effect Temporal Ordering Enforcing Rules Globally

445 views • 32 slides