Building certified libraries for PCC: dynamic storage allocation

DOI10.1016/J.SCICO.2004.01.003zbMath1075.68562OpenAlexW1995559387MaRDI QIDQ1887734

Zhong Shao, Nadeem A. Hamid, Dachuan Yu

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.01.003

zbMATH Keywords

Proof-carrying codeAssembly programmingCertifying compilationDynamic storage allocation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

A verifiable low-level concurrent programming model based on colored Petri nets

This page was built for publication: Building certified libraries for PCC: dynamic storage allocation