The structure of a type-safe operating system.

MaRDI QIDQ5481425zbMATH OpenFDO

Authors Michael Golm

Publication date 9 August 2006

zbMATH Keywords

modular microkernel

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)

Recommendations

• On the use of metatypes for safe embedded operating system extension
• scientific article; zbMATH DE number 1693037
• A type system for the Java bytecode language and verifier
• scientific article; zbMATH DE number 1746458
• scientific article; zbMATH DE number 1500476

Cited in

(2)

• Trusted objects in trusted operating system
• scientific article; zbMATH DE number 1962747 (Why is no real title available?)

This page was built for publication: The structure of a type-safe operating system.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5481425)