summaryrefslogtreecommitdiff
path: root/tex/thesis/references.bib
diff options
context:
space:
mode:
Diffstat (limited to 'tex/thesis/references.bib')
-rw-r--r--tex/thesis/references.bib48
1 files changed, 47 insertions, 1 deletions
diff --git a/tex/thesis/references.bib b/tex/thesis/references.bib
index d85dea7..3993b5e 100644
--- a/tex/thesis/references.bib
+++ b/tex/thesis/references.bib
@@ -80,6 +80,19 @@
pages = {114--152},
publisher = {Springer-Verlag}
}
+@inproceedings{EasyChair:117,
+ author = {Thomas Martin Gawlitza and Helmut Seidl},
+ title = {Abstract Interpretation over Zones without Widening},
+ booktitle = {WING 2010},
+ editor = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
+ series = {EPiC Series},
+ volume = {1},
+ pages = {12-43},
+ year = {2012},
+ publisher = {EasyChair},
+ bibsource = {EasyChair, http://www.easychair.org},
+ issn = {2040-557X},
+}
@inproceedings{Gawlitza:2007:PFC:1762174.1762203,
author = {Gawlitza, Thomas and Seidl, Helmut},
title = {Precise fixpoint computation through strategy iteration},
@@ -160,4 +173,37 @@
ADDRESS = {Oxford, England},
MONTH = {November},
YEAR = {1970}
-} \ No newline at end of file
+}
+@book{debugging-book,
+ author = {Zeller, Andreas},
+ title = {Why Programs Fail: A Guide to Systematic Debugging},
+ year = {2005},
+ isbn = {1558608664},
+ publisher = {Morgan Kaufmann Publishers Inc.},
+ address = {San Francisco, CA, USA},
+ page = {21},
+}
+@ARTICLE{Hailpern01softwaredebugging,
+ author = {Brent Hailpern and Padmanabhan Santhanam},
+ title = {Software Debugging, Testing, and Verification},
+ journal = {IBM SYSTEMS JOURNAL},
+ year = {2001},
+ volume = {41},
+ pages = {4--12}
+}
+@article{Halting,
+ added-at = {2011-12-06T14:58:09.000+0100},
+ author = {Turing, Alan M.},
+ biburl = {http://www.bibsonomy.org/bibtex/297ba9ab572e2017ce1dd25da3af837af/msteele},
+ interhash = {8ac1f5e961ff74849ab6f0c7348b9c9c},
+ intrahash = {97ba9ab572e2017ce1dd25da3af837af},
+ journal = {Proceedings of the London Mathematical Society},
+ keywords = {calculus},
+ pages = {230--265},
+ series = 2,
+ timestamp = {2011-12-06T14:58:09.000+0100},
+ title = {On Computable Numbers, with an application to the
+Entscheidungsproblem},
+ volume = 42,
+ year = 1936
+}