Ignore:
Timestamp:
Jun 14, 2012, 5:32:04 PM (8 years ago)
Author:
mulligan
Message:

More work on paper from today.

File:
1 edited

Legend:

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

    r2061 r2083  
    9595
    9696@inproceedings
     97{ boender:correctness:2012,
     98  author = {Jaap Boender and Claudio {Sacerdoti Coen}},
     99  title = {On the correctness of a branch displacement algorithm},
     100  booktitle = {{CPP}},
     101  year =  {2012},
     102  note = {Submitted}
     103}
     104
     105@inproceedings
    97106{ fox:trustworthy:2010,
    98107  author = {Anthony Fox and Magnus O. Myreen},
     
    102111  year = {2010}
    103112}
     113
     114@inproceedings
     115{ tuch:types:2007,
     116  author = {Harvey Tuch and Gerwin Klein and Michael Norrish},
     117  title = {Types, Bytes, and Separation Logic},
     118  booktitle = {{POPL}},
     119  pages = {97--108},
     120  year =  {2007}
     121}
     122
    104123
    105124@inproceedings
Note: See TracChangeset for help on using the changeset viewer.