diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 15:34:42 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 15:34:42 +1000 |
| commit | 763a5e6c80e7df2ca1b15bab6726cd50e7ed0add (patch) | |
| tree | fda4b79f9ee6776a271530f7b4c31f9035931e0a /tex/thesis/thesis.bbl | |
| parent | 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb (diff) | |
Something, something. Thesis!
Diffstat (limited to 'tex/thesis/thesis.bbl')
| -rw-r--r-- | tex/thesis/thesis.bbl | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tex/thesis/thesis.bbl b/tex/thesis/thesis.bbl new file mode 100644 index 0000000..66241d6 --- /dev/null +++ b/tex/thesis/thesis.bbl @@ -0,0 +1,22 @@ +\begin{thebibliography}{2} +\providecommand{\natexlab}[1]{#1} +\providecommand{\url}[1]{\texttt{#1}} +\providecommand{\urlprefix}{URL } +\providecommand{\href}[2]{#2} + +\bibitem[{Cousot and Cousot(1977)}]{CousotCousot77-1} +P{.} Cousot and R{.} Cousot. 1977. +\newblock Abstract interpretation: a unified lattice model for static analysis + of programs by construction or approximation of fixpoints. +\newblock In \emph{Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT + Symposium on Principles of Programming Languages}, pages 238--252. ACM Press, + New York, NY, Los Angeles, California. + +\bibitem[{Gawlitza and Seidl(2007)}]{Gawlitza:2007:PFC:1762174.1762203} +Thomas Gawlitza and Helmut Seidl. 2007. +\newblock \href{http://dl.acm.org/citation.cfm?id=1762174.1762203}{Precise + fixpoint computation through strategy iteration}. +\newblock In \emph{Proceedings of the 16th European conference on Programming}, + ESOP'07, pages 300--315. Springer-Verlag, Berlin, Heidelberg. + +\end{thebibliography} |