On the use of metatypes for safe embedded operating system extension

DOI10.1080/17445760600761437MaRDI QIDQ3437352zbMATH OpenOpenAlexFDO

Authors Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl

Publication date 9 May 2007

Published in International Journal of Parallel, Emergent and Distributed Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/17445760600761437

zbMATH Keywords

type systemsafetyembedded systemextensibility

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 2040573
• Safe functional systems through integrity types and verified assembly
• Verification, Model Checking, and Abstract Interpretation
• Formalizing the SAFECode type system
• scientific article; zbMATH DE number 2017338

Cited in

(1)

• The structure of a type-safe operating system.

This page was built for publication: On the use of metatypes for safe embedded operating system extension

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