CompCertS

swMATH22722MaRDI QIDQ34513FDOQ34513

Author name not available (Why is that?)

Described by source

• CompCertS: a memory-aware verified C compiler using pointer as integer semantics

Cited In (2)

• \textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics
• Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26--29, 2017. Proceedings

This page was built for software: CompCertS