Old Web
English
Sign In
Acemap
>
Paper
>
Operational semantics of CompCert
Operational semantics of CompCert
2014
Andrew W. Appel
Robert Dockins
Aquinas Hobor
Lennart Beringer
Josiah Dodds
Gordon Stewart
Sandrine Blazy
Xavier Leroy
Keywords:
Programming language
Operational semantics
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]