source: Deliverables/D4.1/ITP-Paper/itp-2011.bib @ 550

Last change on this file since 550 was 550, checked in by mulligan, 8 years ago

more entries added to bib

File size: 2.3 KB
Line 
1@article
2{ leroy:formal:2009,
3  author = {Xavier Leroy},
4  title = {Formal verification of a realistic compiler},
5  journal = {Communications of the {Association of Computing Machinery}},
6  volume = {52},
7  number = {7},
8  pages = {107--115},
9  year = {2009}
10}
11
12@article
13{ leroy:formally:2009,
14  author = {Xavier Leroy},
15  title = {A formally verified compiler back-end},
16  journal = {Journal of Automated Reasoning},
17  volume = {43},
18  number = {4},
19  pages = {363--446},
20  year = {2009}
21}
22
23@inproceedings
24{ atkey:coqjvm:2007,
25  author = {Robert Atkey},
26  title = {{CoqJVM}: An executable specification of the Java virtual machine using dependent types},
27  booktitle = {Proceedings of the Conference of the {TYPES} Project {(TYPES 2007)}},
28  pages = {18--32},
29  series = {Lecture Noted in Computer Science},
30  volume = {4941},
31  year = {2007}
32}
33
34@inproceedings
35{ blazy:formal:2006,
36  author = {Sandrine Blazy and Zaynah Dargaye and Xavier Leroy},
37  title = {Formal Verification of a {C} Compiler Front-End},
38  booktitle = {Proceedings of the International Symposium on Formal Methods ({FM 2006})},
39  series = {Lecture Notes in Computer Science},
40  volume = {4085},
41  pages = {460--475},
42  year = {2006}
43}
44
45@inproceedings
46{ fox:trustworthy:2010,
47  author = {Anthony Fox and Magnus O. Myreen},
48  title = {A Trustworthy Monadic Formalization of the {ARMv7} Instruction Set Architecture},
49  booktitle = {Proceedings of the First International Conference on Interactive Theorem Proving ({ITP 2010})},
50  series = {Lecture Notes in Computer Science},
51  pages = {243--258},
52  year = {2010}
53}
54
55@inproceedings
56{ sarkar:semantics:2009,
57  author = {Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave},
58  title = {The semantics of {x86-CC} multiprocessor machine code},
59  booktitle = {Proceedings of the Thirty Sixth Annual Symposium on Principles of Programming Languages {(POPL 2009)}},
60  series = {{ACM SIGPLAN} Notices},
61  pages = {379--391},
62  volume = {44},
63  issue = {1},
64  year = {2009}
65}
66
67@misc
68{ mcu8051ide:2010,
69  title = {{MCU 8051 IDE} 1.3.11},
70  howpublished = {\url{http://mcu8051ide.sourceforge.net/}},
71  year = {2010},
72  key = {{MCU}}
73}
74
75@misc
76{ sdcc:2010,
77  title = {Small Device {C} Compiler {(SDCC)} 3.0.0},
78  howpublished = {\url{http://sdcc.sourceforge.net/}},
79  year = {2010},
80  key = {{SDCC}}
81}
Note: See TracBrowser for help on using the repository browser.