source: Deliverables/D4.4/report.bib @ 3267

Last change on this file since 3267 was 3213, checked in by tranquil, 7 years ago

summary for D4.4, and other modifications

File size: 1.7 KB
Line 
1@Unpublished{simulation,
2 author = {Tranquilli, Paolo and Sacerdoti Coen, Claudio},
3 title = {Certification of the Preservation of Structure by
4a Compiler’s Back-end Pass},
5 note = {Internal report},
6year = {2013}
7}
8
9@Unpublished{backend,
10 author = {Mauro Piccolo and Paolo Tranquilli},
11 title = {Certifying the back end pass of the CerCo annotating compiler},
12 note = {Internal report},
13year = {2013}
14}
15
16@inproceedings{asm,
17  author    = {Dominic P. Mulligan and
18               Claudio Sacerdoti Coen},
19  title     = {On the Correctness of an Optimising Assembler for the Intel
20               MCS-51 Microprocessor},
21  booktitle = {CPP},
22  year      = {2012},
23  pages     = {43-59},
24  ee        = {http://dx.doi.org/10.1007/978-3-642-35308-6_7},
25  crossref  = {DBLP:conf/cpp/2012},
26  bibsource = {DBLP, http://dblp.uni-trier.de}
27}
28@proceedings{DBLP:conf/cpp/2012,
29  editor    = {Chris Hawblitzel and
30               Dale Miller},
31  title     = {Certified Programs and Proofs - Second International Conference,
32               CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
33  booktitle = {CPP},
34  publisher = {Springer},
35  series    = {Lecture Notes in Computer Science},
36  volume    = {7679},
37  year      = {2012},
38  isbn      = {978-3-642-35307-9},
39  ee        = {http://dx.doi.org/10.1007/978-3-642-35308-6},
40  bibsource = {DBLP, http://dblp.uni-trier.de}
41}
42
43@article{policy,
44  author    = {Jaap Boender and
45               Claudio Sacerdoti Coen},
46  title     = {On the correctness of a branch displacement algorithm},
47  journal   = {CoRR},
48  volume    = {abs/1209.5920},
49  year      = {2012},
50  ee        = {http://arxiv.org/abs/1209.5920},
51  bibsource = {DBLP, http://dblp.uni-trier.de}
52}
Note: See TracBrowser for help on using the repository browser.