diff options
Diffstat (limited to 'content/zettel/3a10b.md')
| -rw-r--r-- | content/zettel/3a10b.md | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/content/zettel/3a10b.md b/content/zettel/3a10b.md new file mode 100644 index 0000000..7301fe5 --- /dev/null +++ b/content/zettel/3a10b.md @@ -0,0 +1,28 @@ ++++ +title = "CompCertELF" +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["3a10a"] +forwardlinks = ["3a10a", "3a10c"] +zettelid = "3a10b" ++++ + +CompCertELF is a refinement of stack aware CompCert ([\#3a10a]) \[1\]. + +<div id="refs" class="references csl-bib-body" markdown="1"> + +<div id="ref-wang20_compc" class="csl-entry" markdown="1"> + +<span class="csl-left-margin">\[1\] +</span><span class="csl-right-inline">Y. Wang, X. Xu, P. Wilke, and Z. +Shao, “CompCertELF: Verified separate compilation of c programs into ELF +object files,” *Proc. ACM Program. Lang.*, vol. 4, no. OOPSLA, Nov. +2020, doi: [10.1145/3428265].</span> + +</div> + +</div> + + [\#3a10a]: /zettel/3a10a + [10.1145/3428265]: https://doi.org/10.1145/3428265 |