diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-21 19:56:50 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-21 19:56:50 +1100 |
| commit | 6be89e25c3d27df5eb79c077ba73f52e2048d3a1 (patch) | |
| tree | c004f425d899184f90b918c34eefda2872c81ea5 /tex/thesis/references.bib | |
| parent | f7f83793c2d3f8f37b49bf1eab04f08f8118797e (diff) | |
Thesis writing! Yum yum!
Diffstat (limited to 'tex/thesis/references.bib')
| -rw-r--r-- | tex/thesis/references.bib | 48 |
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 +} |