diff options
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" +} |