diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 20:11:20 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 20:11:20 +0000 |
commit | 42971f475053f87938f66b6cbb3d61c046b78ebe (patch) | |
tree | 6cfcaa3ead924429c59bc3238bdf7f77786dc93d /references.bib | |
parent | 79478231e52da620bfdff7a41889db9a9475ee87 (diff) | |
download | latte21_hlstpc-42971f475053f87938f66b6cbb3d61c046b78ebe.tar.gz latte21_hlstpc-42971f475053f87938f66b6cbb3d61c046b78ebe.zip |
Add citation
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 5dc3ae5..3e2ed3d 100644 --- a/references.bib +++ b/references.bib @@ -333,3 +333,16 @@ url = {https://github.com/project-oak/silveroak}, pages = {857-858}, doi = {10.1145/1837274.1837489} } + +@InProceedings{appel11_verif_softw_toolc, + author = "Appel, Andrew W.", + editor = "Barthe, Gilles", + title = "Verified Software Toolchain", + booktitle = "Programming Languages and Systems", + year = "2011", + publisher = "Springer Berlin Heidelberg", + address = "Berlin, Heidelberg", + pages = "1--17", + abstract = "The software toolchain includes static analyzers to check assertions about programs; optimizing compilers to translate programs to machine language; operating systems and libraries to supply context for programs. Our Verified Software Toolchain verifies with machine-checked proofs that the assertions claimed at the top of the toolchain really hold in the machine-language program, running in the operating-system context, on a weakly-consistent-shared-memory machine.", + isbn = "978-3-642-19718-5" +} |