Pierre Wilke

From MaRDI portal
Person:1687719

Available identifiers

zbMath Open wilke.pierreMaRDI QIDQ1687719

List of research outcomes





PublicationDate of PublicationType
\textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics2019-08-21Paper
A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data2019-04-29Paper
CompCertS: a memory-aware verified C compiler using pointer as integer semantics2018-01-04Paper
A concrete memory model for CompCert2015-09-14Paper

Research outcomes over time

This page was built for person: Pierre Wilke

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1687719&oldid=6385358"
Powered by MediaWiki