Safe kernel extensions without run-time checking

• 28 October 1996
• conference paper
• Published by Association for Computing Machinery (ACM)
• Vol. 30  (SI) , 229-243
• https://doi.org/10.1145/238721.238781

Abstract

Keywords

• SOFTWARE ENGINEERING
• SYSTEMS ANALYSIS
• FAULT ISOLATION
• PACKET SWITCHING
• ASSEMBLY LANGUAGES
• SYSTEM SAFETY