source: Deliverables/D3.3/Report/report.bib @ 1234

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

Add (rather brief) draft of D3.3.

File size: 835 bytes
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
Note: See TracBrowser for help on using the repository browser.