# Changeset 568 for Deliverables/D4.1/ITP-Paper/itp-2011.bib

Ignore:
Timestamp:
Feb 18, 2011, 10:10:49 AM (9 years ago)
Message:

Added two missing references, reduced back down to 16 pages by rewording some sentences and gaming bibtex file

File:
1 edited

### Legend:

Unmodified
 r557 author = {Jun Yan and Wei Zhang}, title = {{WCET} Analysis for Multi-Core Processors with Shared {L2} Instruction Caches}, booktitle = {Proceedings of the Fourteenth {IEEE} Symposium on Real-time and Embedded Technology and Applications ({RTAS 2008})}, booktitle = {Proceedings of the $\mathrm{14^{th}}$ {IEEE} Symposium on Real-time and Embedded Technology and Applications}, pages = {80--89}, year = {2008} author = {Robert Atkey}, title = {{CoqJVM}: An executable specification of the Java virtual machine using dependent types}, booktitle = {Proceedings of the Conference of the {TYPES} Project {(TYPES 2007)}}, booktitle = {Proceedings of the Conference of the {TYPES} Project}, pages = {18--32}, series = {Lecture Noted in Computer Science}, volume = {4941}, year = {2007} } author = {Sandrine Blazy and Zaynah Dargaye and Xavier Leroy}, title = {Formal Verification of a {C} Compiler Front-End}, booktitle = {Proceedings of the International Symposium on Formal Methods ({FM 2006})}, series = {Lecture Notes in Computer Science}, volume = {4085}, booktitle = {Proceedings of the International Symposium on Formal Methods}, pages = {460--475}, year = {2006} author = {Adam Chlipala}, title = {A verified compiler for an impure functional language}, booktitle = {Proceedings of the Thirty Seventh Annual Symposium on Principles of Programming Languages {(POPL 2010)}}, series = {{ACM SIGPLAN} Notices}, volume = {45}, issue = {1}, booktitle = {Proceedings of the $\mathrm{37^{th}}$ Annual Symposium on Principles of Programming Languages}, pages = {93--106}, year = {2010} author = {Anthony Fox and Magnus O. Myreen}, title = {A Trustworthy Monadic Formalization of the {ARMv7} Instruction Set Architecture}, booktitle = {Proceedings of the First International Conference on Interactive Theorem Proving ({ITP 2010})}, series = {Lecture Notes in Computer Science}, booktitle = {Proceedings of the $\mathrm{1^{st}}$ International Conference on Interactive Theorem Proving}, pages = {243--258}, year = {2010} author = {Daan Leijen and Erik Meijer}, title = {Domain specific embedded compilers}, booktitle = {Proceedings of the Second Conference on Domain Specific Languages {(DSL 1999)}}, series = {{ACM SIGPLAN} Notices}, booktitle = {Proceedings of the $\mathrm{2^{nd}}$ Conference on Domain Specific Languages}, pages = {109--122}, volume = {2}, year = {1999} } author = {Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave}, title = {The semantics of {x86-CC} multiprocessor machine code}, booktitle = {Proceedings of the Thirty Sixth Annual Symposium on Principles of Programming Languages {(POPL 2009)}}, series = {{ACM SIGPLAN} Notices}, booktitle = {Proceedings of the $\mathrm{36^{th}}$ Annual Symposium on Principles of Programming Languages}, pages = {379--391}, volume = {44}, issue = {1}, year = {2009} } @inproceedings { shankar:principles:1999, author = {Natarajan Shankar and Sam Owre}, title = {Principles and Pragmatics of Subtyping in {PVS}}, booktitle = {Recent Trends in Algebraic Development Techniques}, pages = {37--52}, year = {1999} } @inproceedings { sozeau:subset:2006, author = {Matthieu Sozeau}, title = {Subset coercions in {Coq}}, booktitle = {Proceedings of the Conference of the {TYPES} Project}, pages = {237--252}, year = {2006} }