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

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.bib

    r557 r568  
    3636  author = {Jun Yan and Wei Zhang},
    3737  title = {{WCET} Analysis for Multi-Core Processors with Shared {L2} Instruction Caches},
    38   booktitle = {Proceedings of the Fourteenth {IEEE} Symposium on Real-time and Embedded Technology and Applications ({RTAS 2008})},
     38  booktitle = {Proceedings of the $\mathrm{14^{th}}$ {IEEE} Symposium on Real-time and Embedded Technology and Applications},
    3939  pages = {80--89},
    4040  year = {2008}
     
    4545  author = {Robert Atkey},
    4646  title = {{CoqJVM}: An executable specification of the Java virtual machine using dependent types},
    47   booktitle = {Proceedings of the Conference of the {TYPES} Project {(TYPES 2007)}},
     47  booktitle = {Proceedings of the Conference of the {TYPES} Project},
    4848  pages = {18--32},
    49   series = {Lecture Noted in Computer Science},
    50   volume = {4941},
    5149  year = {2007}
    5250}
     
    5654  author = {Sandrine Blazy and Zaynah Dargaye and Xavier Leroy},
    5755  title = {Formal Verification of a {C} Compiler Front-End},
    58   booktitle = {Proceedings of the International Symposium on Formal Methods ({FM 2006})},
    59   series = {Lecture Notes in Computer Science},
    60   volume = {4085},
     56  booktitle = {Proceedings of the International Symposium on Formal Methods},
    6157  pages = {460--475},
    6258  year = {2006}
     
    6763  author = {Adam Chlipala},
    6864  title = {A verified compiler for an impure functional language},
    69   booktitle = {Proceedings of the Thirty Seventh Annual Symposium on Principles of Programming Languages {(POPL 2010)}},
    70   series = {{ACM SIGPLAN} Notices},
    71   volume = {45},
    72   issue = {1},
     65  booktitle = {Proceedings of the $\mathrm{37^{th}}$ Annual Symposium on Principles of Programming Languages},
    7366  pages = {93--106},
    7467  year = {2010}
     
    7972  author = {Anthony Fox and Magnus O. Myreen},
    8073  title = {A Trustworthy Monadic Formalization of the {ARMv7} Instruction Set Architecture},
    81   booktitle = {Proceedings of the First International Conference on Interactive Theorem Proving ({ITP 2010})},
    82   series = {Lecture Notes in Computer Science},
     74  booktitle = {Proceedings of the $\mathrm{1^{st}}$ International Conference on Interactive Theorem Proving},
    8375  pages = {243--258},
    8476  year = {2010}
     
    9789  author = {Daan Leijen and Erik Meijer},
    9890  title = {Domain specific embedded compilers},
    99   booktitle = {Proceedings of the Second Conference on Domain Specific Languages {(DSL 1999)}},
    100   series = {{ACM SIGPLAN} Notices},
     91  booktitle = {Proceedings of the $\mathrm{2^{nd}}$ Conference on Domain Specific Languages},
    10192  pages = {109--122},
    102   volume = {2},
    10393  year = {1999}
    10494}
     
    10898  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},
    10999  title = {The semantics of {x86-CC} multiprocessor machine code},
    110   booktitle = {Proceedings of the Thirty Sixth Annual Symposium on Principles of Programming Languages {(POPL 2009)}},
    111   series = {{ACM SIGPLAN} Notices},
     100  booktitle = {Proceedings of the $\mathrm{36^{th}}$ Annual Symposium on Principles of Programming Languages},
    112101  pages = {379--391},
    113   volume = {44},
    114   issue = {1},
    115102  year = {2009}
     103}
     104
     105@inproceedings
     106{ shankar:principles:1999,
     107  author = {Natarajan Shankar and Sam Owre},
     108  title = {Principles and Pragmatics of Subtyping in {PVS}},
     109  booktitle = {Recent Trends in Algebraic Development Techniques},
     110  pages = {37--52},
     111  year = {1999}
     112}
     113
     114@inproceedings
     115{ sozeau:subset:2006,
     116  author = {Matthieu Sozeau},
     117  title = {Subset coercions in {Coq}},
     118  booktitle = {Proceedings of the Conference of the {TYPES} Project},
     119  pages = {237--252},
     120  year = {2006}
    116121}
    117122
Note: See TracChangeset for help on using the changeset viewer.