CompCertS

MaRDI QIDQ34513swMATHFDO

Official website https://rd.springer.com/chapter/10.1007%2F978-3-319-66107-0_6

Described by source

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

Cited in

(7)

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

This page was built for software: CompCertS