source: Deliverables/D3.2/Report/report.bib @ 1235

Last change on this file since 1235 was 1235, checked in by campbell, 8 years ago

Some basic material for D3.2, but not yet finished.

File size: 1.2 KB
Line 
1
2@misc{d2.1,
3title = {Compiler design and intermediate languages},
4author = {Roberto M. Amadio and Nicolas Ayache and Yann R{\'{e}}gis-Gianas and Kayvan Memarian and Ronan Saillard},
5howpublished = {Deliverable 2.1, Project FP7-ICT-2009-C-243881 CerCo},
6}
7
8@misc{d2.2,
9title = {Prototype implementation},
10author = {Nicolas Ayache and Roberto M. Amadio and Yann R{\'{e}}gis-Gianas},
11howpublished = {Deliverable 2.2, Project FP7-ICT-2009-C-243881 CerCo},
12}
13
14@misc{d3.1,
15title = {Executable Formal Semantics of {C}},
16author = {Brian Campbell and Randy Pollack},
17howpublished = {Deliverable 3.1, Project FP7-ICT-2009-C-243881 CerCo},
18}
19
20@misc{d4.1,
21title = {Executable Formal Semantics of Machine Code},
22author = {Dominic P. Mulligan and Claudio {Sacerdoti Coen}},
23howpublished = {Deliverable 4.1, Project FP7-ICT-2009-C-243881 CerCo},
24}
25
26@inproceedings{compcertfm06,
27  title  = {Formal Verification of a {C} Compiler Front-End},
28  author = {Sandrine Blazy and Zaynah Dargaye andXavier Leroy},
29  booktitle = {FM 2006: Formal Methods},
30  series = {Lecture Notes in Computer Science},
31  volume = {4085},
32  pages  = {460--475},
33  doi    = {10.1007/11813040_31},
34  publisher = {Springer},
35  year = 2006
36}
37
Note: See TracBrowser for help on using the repository browser.