Ignore:
Timestamp:
May 19, 2011, 4:45:58 PM (9 years ago)
Author:
mulligan
Message:

Final changes. Under 8 pages.

File:
1 edited

Legend:

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

    r817 r819  
    5858  author = {Jun Yan and Wei Zhang},
    5959  title = {{WCET} Analysis for Multi-Core Processors with Shared {L2} Instruction Caches},
    60   booktitle = {Proceedings of the $\mathrm{14^{th}}$ {IEEE} Symposium on Real-time and Embedded Technology and Applications},
     60  booktitle = {$\mathrm{14^{th}}$ {IEEE} Symposium on Real-time and Embedded Technology and Applications},
    6161  pages = {80--89},
    6262  year = {2008}
     
    6767  author = {Robert Atkey},
    6868  title = {{CoqJVM}: An executable specification of the {Java Virtual Machine} using dependent types},
    69   booktitle = {Proceedings of the Conference of the {TYPES} Project},
     69  booktitle = {Conference of the {TYPES} Project},
    7070  pages = {18--32},
    7171  year = {2007}
     
    7676  title = {Designing a {CPU} model: from a pseudo-formal document to fast code},
    7777  author = {Fr\'ed\'eric Blanqui and Claude Helmstetter and Vania Joloboff and Jean-Fran\c{c}ois Monin and Xiaomu Shi},
    78   booktitle = {Proceedings of the $\mathrm{3^{rd}}$ Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools},
     78  booktitle = {$\mathrm{3^{rd}}$ Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools},
    7979  year = {2010}
    8080}
     
    8484  author = {Sandrine Blazy and Zaynah Dargaye and Xavier Leroy},
    8585  title = {Formal Verification of a {C} Compiler Front-End},
    86   booktitle = {Proceedings of the International Symposium on Formal Methods},
     86  booktitle = {International Symposium on Formal Methods},
    8787  pages = {460--475},
    8888  year = {2006}
     
    9393  author = {Adam Chlipala},
    9494  title = {A verified compiler for an impure functional language},
    95   booktitle = {Proceedings of the $\mathrm{37^{th}}$ Annual Symposium on Principles of Programming Languages},
     95  booktitle = {$\mathrm{37^{th}}$ Annual Symposium on Principles of Programming Languages},
    9696  pages = {93--106},
    9797  year = {2010}
     
    102102  author = {Anthony Fox and Magnus O. Myreen},
    103103  title = {A Trustworthy Monadic Formalization of the {ARMv7} Instruction Set Architecture},
    104   booktitle = {Proceedings of the $\mathrm{1^{st}}$ International Conference on Interactive Theorem Proving},
     104  booktitle = {$\mathrm{1^{st}}$ International Conference on Interactive Theorem Proving},
    105105  pages = {243--258},
    106106  year = {2010}
     
    119119  author = {Daan Leijen and Erik Meijer},
    120120  title = {Domain specific embedded compilers},
    121   booktitle = {Proceedings of the $\mathrm{2^{nd}}$ Conference on Domain Specific Languages},
     121  booktitle = {$\mathrm{2^{nd}}$ Conference on Domain Specific Languages},
    122122  pages = {109--122},
    123123  year = {1999}
     
    128128  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},
    129129  title = {The semantics of {x86-CC} multiprocessor machine code},
    130   booktitle = {Proceedings of the $\mathrm{36^{th}}$ Annual Symposium on Principles of Programming Languages},
     130  booktitle = {$\mathrm{36^{th}}$ Annual Symposium on Principles of Programming Languages},
    131131  pages = {379--391},
    132132  year = {2009}
     
    146146  author = {Matthieu Sozeau},
    147147  title = {Subset coercions in {Coq}},
    148   booktitle = {Proceedings of the Conference of the {TYPES} Project},
     148  booktitle = {Conference of the {TYPES} Project},
    149149  pages = {237--252},
    150150  year = {2006}
     
    155155  author = {Hongwei Xi and Chiyan Chen and Gang Chen},
    156156  title = {Guarded recursive datatype constructors},
    157   booktitle = {Proceedings of the $\mathrm{30^{th}}$ Annual Symposium on Principles of Programming Languages},
     157  booktitle = {$\mathrm{30^{th}}$ Annual Symposium on Principles of Programming Languages},
    158158  pages = {224--235},
    159159  year = {2003}
     
    169169
    170170@misc
    171 { cerco-code:2011,
    172   title = {{CerCo Deliverable D4.1}: Matita and O'Caml code},
    173   howpublished = {\url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D4_1_Code.tar.gz}},
     171{ cerco-report-code:2011,
     172  title = {{CerCo Deliverable D4.1}: executable formal semantics of machine code},
     173  howpublished = {\url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D4_1.pdf} and \url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D4_1_Code.tar.gz}},
    174174  year = {2011},
    175   key = {{CerCo-code}}
    176 }
    177 
    178 @misc
    179 { cerco-report:2011,
    180   title = {{CerCo Deliverable D4.1}:: executable formal semantics of machine code},
    181   howpublished = {\url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D4_1.pdf}},
    182   year = {2011},
    183   key = {{CerCo-report}}
     175  key = {{CerCo-report-code}}
    184176}
    185177
     
    210202@misc
    211203{ sdcc:2010,
    212   title = {Small Device {C} Compiler {(SDCC)} 3.0.0},
     204  title = {Small Device {C} Compiler 3.0.0},
    213205  howpublished = {\url{http://sdcc.sourceforge.net/}},
    214206  year = {2010},
Note: See TracChangeset for help on using the changeset viewer.