CompCertS: a memory-aware verified C compiler using pointer as integer semantics
From MaRDI portal
Publication:1687720
DOI10.1007/978-3-319-66107-0_6zbMath1468.68063MaRDI QIDQ1687720
Sandrine Blazy, Frédéric Besson, Pierre Wilke
Publication date: 4 January 2018
Full work available at URL: https://hal.inria.fr/hal-01656875/file/compcerts.pdf
68N20: Theory of compilers and interpreters
Related Items
Uses Software