Login
From:
Thomas Letan’s website
(Uncensored)
subscribe
A Study of Clight and its Semantics · ~lthms
https://soap.coffee/~lthms/posts/ClightIntroduction.html
links
backlinks
Roast topics
Find topics
Find it!
Clight is a “simplified” C AST used by CompCert, the certified C compiler. In this write-up, we prove a straighforward functional property of a small C function, as an exercise to discover the Clight semantics.
