diff options
Diffstat (limited to 'content/zettel/3a1.md')
| -rw-r--r-- | content/zettel/3a1.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/content/zettel/3a1.md b/content/zettel/3a1.md new file mode 100644 index 0000000..cea7c3b --- /dev/null +++ b/content/zettel/3a1.md @@ -0,0 +1,15 @@ ++++ +title = "CompCert Internals" +date = "2020-12-10" +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["3a"] +forwardlinks = ["3a2", "3a1a"] +zettelid = "3a1" ++++ + +CompCert has 11 intermediate languages, that are used to prove different +properties at each stage, as the higher level programming language is +translated to assembly. The main two parts are the front end and the +back end of the compiler. |