CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics
2018 ◽
Vol 63
(2)
◽
pp. 369-392
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):