Ignore:
Timestamp:
Jun 15, 2012, 11:36:47 AM (7 years ago)
Author:
boender
Message:
  • rewrote introduction
  • changed 'medium' to 'absolute'
  • added a bit to conclusion (CompCert?, Piton, ...)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/biblio.bib

    r2080 r2085  
    6767        year = {2012}
    6868}
     69
     70@article {Leroy2009,
     71   author = {Leroy, Xavier},
     72   affiliation = {INRIA Paris-Rocquencourt B.P. 105 78153 Le Chesnay France},
     73   title = {A Formally Verified Compiler Back-end},
     74   journal = {Journal of Automated Reasoning},
     75   publisher = {Springer Netherlands},
     76   issn = {0168-7433},
     77   keyword = {Computer Science},
     78   pages = {363-446},
     79   volume = {43},
     80   issue = {4},
     81   url = {http://dx.doi.org/10.1007/s10817-009-9155-4},
     82   note = {10.1007/s10817-009-9155-4},
     83   year = {2009}
     84}
     85
     86@book {Moore1996,
     87  author = {J Strother Moore},
     88  title = {Piton: A mechanically verified assembly language},
     89  series = {Automated Reasoning Series},
     90  volume = {3},
     91  isbn = {978-0-7923-3920-5},
     92  publisher = {Springer},
     93  year = {1996}
     94}
     95
Note: See TracChangeset for help on using the changeset viewer.