Ignore:
Timestamp:
Feb 17, 2011, 1:04:15 PM (8 years ago)
Author:
mulligan
Message:

more added to bibliography

File:
1 edited

Legend:

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

    r550 r551  
    4444
    4545@inproceedings
     46{ chlipala:verified:2010,
     47  author = {Adam Chlipala},
     48  title = {A verified compiler for an impure functional language},
     49  booktitle = {Proceedings of the Thirty Seventh Annual Symposium on Principles of Programming Languages {(POPL 2010)}},
     50  series = {{ACM SIGPLAN} Notices},
     51  volume = {45},
     52  issue = {1},
     53  pages = {93--106},
     54  year = {2010}
     55}
     56
     57@inproceedings
    4658{ fox:trustworthy:2010,
    4759  author = {Anthony Fox and Magnus O. Myreen},
     
    6678
    6779@misc
     80{ cerco:2011,
     81  title = {The {CerCo} {FeT-Open} Project},
     82  howpublished = {\url{http://cerco.cs.unibo.it}},
     83  year = {2011},
     84  key = {{CerCo}}
     85}
     86
     87@misc
    6888{ mcu8051ide:2010,
    6989  title = {{MCU 8051 IDE} 1.3.11},
     
    80100  key = {{SDCC}}
    81101}
     102
     103@techreport
     104{ amadio:certifying:2010,
     105  author = {Roberto M. Amadio and Nicolas Ayache and Yann R\'{e}gis-Gianas and Ronan Saillard},
     106  title = {Cerifying cost annotations in compilers},
     107  institution = {Universit\'{e} Paris Diderot {(Paris 7)}, Laboratoire {PPS}},
     108  year = {2010}
     109}
Note: See TracChangeset for help on using the changeset viewer.