Ignore:
Timestamp:
Jun 15, 2012, 11:40:25 AM (8 years ago)
Author:
mulligan
Message:

Tidied up the paper, added a few more things, tidied and expanded bibliography.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-asm/cpp-2012-asm.bib

    r2083 r2087  
    2525  author = {Gerwin Klein and Tobias Nipkow},
    2626  title = {A machine-checked model for a {Java-like} language, virtual machine and compiler},
    27   journal = {{TOPLAS}},
     27  journal = {{ACM} Transactions on Programming Languages and Systems},
    2828  volume = {28},
    2929  number = {4},
     
    3636  author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell, Harvey Tuch and Simon Winwood},
    3737  title = {{seL4}: Formal verification of an operating system kernel},
    38   journal = {{CACM}},
     38  journal = {Communications of the {ACM}},
    3939  issue = {6},
    4040  volume = {53},
     
    4747  author = {Xavier Leroy},
    4848  title = {Formal verification of a realistic compiler},
    49   journal = {{CACM}},
     49  journal = {Communications of the {ACM}},
    5050  volume = {52},
    5151  number = {7},
     
    8080  author = {Robert Atkey},
    8181  title = {{CoqJVM}: An executable specification of the {Java Virtual Machine} using dependent types},
    82   booktitle = {{TYPES}},
     82  booktitle = {Types for Proofs and Programs},
    8383  pages = {18--32},
    8484  year = {2007}
     
    9898  author = {Jaap Boender and Claudio {Sacerdoti Coen}},
    9999  title = {On the correctness of a branch displacement algorithm},
    100   booktitle = {{CPP}},
     100  booktitle = {Certified Proofs and Programs {(CPP)}},
    101101  year =  {2012},
    102102  note = {Submitted}
     
    116116  author = {Harvey Tuch and Gerwin Klein and Michael Norrish},
    117117  title = {Types, Bytes, and Separation Logic},
    118   booktitle = {{POPL}},
     118  booktitle = {Principles of Programming Languages {(POPL)}},
    119119  pages = {97--108},
    120120  year =  {2007}
     
    126126  author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell, Harvey Tuch and Simon Winwood},
    127127  title = {{seL4}: Formal verification of an operating system kernel},
    128   booktitle = {{SOSP}},
     128  booktitle = {{ACM} Symposium on Operating Systems Principles {(SOSP)}},
    129129  year = {2009}
    130130}
     
    152152  author = {Matthieu Sozeau},
    153153  title = {Subset Coercions in {Coq}},
    154   booktitle = {{TYPES}},
     154  booktitle = {Types for proofs and programs},
    155155  pages = {237--252},
    156156  year = {2006}
Note: See TracChangeset for help on using the changeset viewer.