On the use of metatypes for safe embedded operating system extension

DOI10.1080/17445760600761437zbMATH Open1113.68037OpenAlexW2083844391MaRDI QIDQ3437352FDOQ3437352

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

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

zbMATH Keywords

type systemsafetyembedded systemextensibility

Mathematics Subject Classification ID

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

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)