Ignore:
Timestamp:
Jun 17, 2013, 1:08:27 PM (6 years ago)
Author:
boender
Message:
  • added some bits as per Claudio's mail
  • rewrote some small things
  • general reread, spell check, grammar check
  • 16 pages again now
File:
1 edited

Legend:

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

    r2099 r3362  
    166166 keywords = {relaxed memory models, semantics, verifying compilation},
    167167}
     168
     169@incollection{lastyear,
     170year={2012},
     171isbn={978-3-642-35307-9},
     172booktitle={Certified Programs and Proofs},
     173volume={7679},
     174series={Lecture Notes in Computer Science},
     175editor={Hawblitzel, Chris and Miller, Dale},
     176doi={10.1007/978-3-642-35308-6_8},
     177title={An Executable Semantics for CompCert C},
     178url={http://dx.doi.org/10.1007/978-3-642-35308-6_8},
     179publisher={Springer Berlin Heidelberg},
     180author={Campbell, Brian},
     181pages={60-75}
     182}
     183
     184@misc
     185{ compcert:2011,
     186  title = {The {CompCert} project},
     187  howpublished = {\url{http://compcert.inria.fr/}},
     188  year = {2011},
     189  key = {compcert:2011}
     190}
Note: See TracChangeset for help on using the changeset viewer.