A bunch more thesis stuff.

1 files changed, 46 insertions, 0 deletions

diff --git a/tex/thesis/references.bib b/tex/thesis/references.bib
index 9b0eb6b..2f3fad9 100644
--- a/tex/thesis/references.bib
+++ b/tex/thesis/references.bib
@@ -259,3 +259,49 @@ publisher={Springer Berlin Heidelberg},
 author={Vergauwen, B. and Wauman, J. and Lewi, J.},
 pages={314-328}
 }
+@misc{MCFClass,
+  author={Centro di Ricerca e Formazione per l'Ottimizzazione su Reti},
+  title={The MCFClass Project},
+  year={2011},
+  url={http://www.di.unipi.it/optimize/Software/MCF.html}
+}
+@article {antlr,
+author = {Parr, T. J. and Quong, R. W.},
+title = {ANTLR: A predicated-LL(k) parser generator},
+journal = {Software: Practice and Experience},
+volume = {25},
+number = {7},
+publisher = {John Wiley & Sons, Ltd.},
+issn = {1097-024X},
+url = {http://dx.doi.org/10.1002/spe.4380250705},
+doi = {10.1002/spe.4380250705},
+pages = {789--810},
+keywords = {parsing, compiler, parser generator, predicates, LL(k) parser},
+year = {1995},
+}
+@MastersThesis{LLVM-paper,
+    author  = {Chris Lattner},
+    title   = "{LLVM: An Infrastructure for Multi-Stage Optimization}",
+    school  = "{Computer Science Dept., University of Illinois at Urbana-Champaign}",
+    year    = {2002},
+    address = {Urbana, IL},
+    month   = {Dec},
+    note    = {{\em See {\tt http://llvm.cs.uiuc.edu}.}}
+}
+@misc{LLVM,
+title={The LLVM Compiler Infrastructure},
+url={http://llvm.org/},
+author={Chris Lattner}
+}
+@misc{Clang,
+title={clang: a C language family frontend for LLVM},
+url={http://clang.llvm.org/}
+}
+@INPROCEEDINGS{yovine-zones,
+    author = {Sergio Yovine},
+    title = {Model checking timed automata},
+    booktitle = {In European Educational Forum: School on Embedded Systems},
+    year = {1998},
+    pages = {114--152},
+    publisher = {Springer-Verlag}
+}