From 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Wed, 5 Sep 2012 10:25:19 +1000 Subject: Delete a lot of tex stuff, better debug info Some other stuff, too, I think. Oh well. No biggie! --- tex/presentation/thomas/ASOPT.pdf | Bin 7529 -> 0 bytes tex/presentation/thomas/CNRS.pdf | Bin 3086 -> 0 bytes tex/presentation/thomas/Makefile | 7 - .../thomas/SAPLING november 2011/.DS_Store | Bin 6148 -> 0 bytes tex/presentation/thomas/TUM.pdf | 63 - tex/presentation/thomas/TUM2.pdf | Bin 4514 -> 0 bytes tex/presentation/thomas/VERIMAG.pdf | Bin 4461 -> 0 bytes tex/presentation/thomas/WWU.pdf | Bin 5178 -> 0 bytes tex/presentation/thomas/bib.bib | 3631 - tex/presentation/thomas/defs.tex | 250 - tex/presentation/thomas/defs.texshop | 1 - tex/presentation/thomas/figs/.svn/all-wcprops | 29 - tex/presentation/thomas/figs/.svn/entries | 164 - .../thomas/figs/.svn/prop-base/heater.pdf.svn-base | 5 - .../figs/.svn/prop-base/region_convex.pdf.svn-base | 5 - .../.svn/prop-base/region_convex_poly.pdf.svn-base | 5 - .../.svn/prop-base/region_general.pdf.svn-base | 5 - .../thomas/figs/.svn/text-base/heater.pdf.svn-base | Bin 53919 -> 0 bytes .../figs/.svn/text-base/region_convex.pdf.svn-base | Bin 167570 -> 0 bytes .../.svn/text-base/region_convex_poly.pdf.svn-base | Bin 218863 -> 0 bytes .../.svn/text-base/region_general.pdf.svn-base | Bin 218815 -> 0 bytes tex/presentation/thomas/figs/heater.pdf | Bin 53919 -> 0 bytes tex/presentation/thomas/figs/region_convex.pdf | Bin 167570 -> 0 bytes .../thomas/figs/region_convex_poly.pdf | Bin 218863 -> 0 bytes tex/presentation/thomas/figs/region_general.pdf | Bin 218815 -> 0 bytes tex/presentation/thomas/hand_rechts.pdf | Bin 76470 -> 0 bytes tex/presentation/thomas/logos/.DS_Store | Bin 6148 -> 0 bytes tex/presentation/thomas/main.aux | 145 - tex/presentation/thomas/main.idx | 0 tex/presentation/thomas/main.log | 92036 ------------------- tex/presentation/thomas/main.nav | 54 - tex/presentation/thomas/main.out | 4 - tex/presentation/thomas/main.pdf | Bin 851913 -> 0 bytes tex/presentation/thomas/main.snm | 0 tex/presentation/thomas/main.tex | 57 - tex/presentation/thomas/main.toc | 5 - tex/presentation/thomas/missfont.log | 46 - tex/presentation/thomas/pgfplots.sty | 50 - tex/presentation/thomas/proof.sty | 377 - tex/presentation/thomas/slides.log | 28 - tex/presentation/thomas/slides.tex | 780 - tex/presentation/thomas/slides.texshop | 1 - tex/presentation/thomas/strike.pdf | Bin 17647 -> 0 bytes tex/presentation/thomas/strike2.pdf | Bin 6690 -> 0 bytes tex/presentation/thomas/textpos.sty | 367 - tex/presentation/thomas/usyd.pdf | Bin 26072 -> 0 bytes 46 files changed, 98115 deletions(-) delete mode 100644 tex/presentation/thomas/ASOPT.pdf delete mode 100644 tex/presentation/thomas/CNRS.pdf delete mode 100644 tex/presentation/thomas/Makefile delete mode 100644 tex/presentation/thomas/SAPLING november 2011/.DS_Store delete mode 100644 tex/presentation/thomas/TUM.pdf delete mode 100644 tex/presentation/thomas/TUM2.pdf delete mode 100644 tex/presentation/thomas/VERIMAG.pdf delete mode 100644 tex/presentation/thomas/WWU.pdf delete mode 100644 tex/presentation/thomas/bib.bib delete mode 100644 tex/presentation/thomas/defs.tex delete mode 100644 tex/presentation/thomas/defs.texshop delete mode 100644 tex/presentation/thomas/figs/.svn/all-wcprops delete mode 100644 tex/presentation/thomas/figs/.svn/entries delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/heater.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_convex.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_convex_poly.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_general.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/heater.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_convex.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_convex_poly.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_general.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/heater.pdf delete mode 100644 tex/presentation/thomas/figs/region_convex.pdf delete mode 100644 tex/presentation/thomas/figs/region_convex_poly.pdf delete mode 100644 tex/presentation/thomas/figs/region_general.pdf delete mode 100644 tex/presentation/thomas/hand_rechts.pdf delete mode 100644 tex/presentation/thomas/logos/.DS_Store delete mode 100644 tex/presentation/thomas/main.aux delete mode 100644 tex/presentation/thomas/main.idx delete mode 100644 tex/presentation/thomas/main.log delete mode 100644 tex/presentation/thomas/main.nav delete mode 100644 tex/presentation/thomas/main.out delete mode 100644 tex/presentation/thomas/main.pdf delete mode 100644 tex/presentation/thomas/main.snm delete mode 100644 tex/presentation/thomas/main.tex delete mode 100644 tex/presentation/thomas/main.toc delete mode 100644 tex/presentation/thomas/missfont.log delete mode 100644 tex/presentation/thomas/pgfplots.sty delete mode 100644 tex/presentation/thomas/proof.sty delete mode 100644 tex/presentation/thomas/slides.log delete mode 100644 tex/presentation/thomas/slides.tex delete mode 100644 tex/presentation/thomas/slides.texshop delete mode 100644 tex/presentation/thomas/strike.pdf delete mode 100644 tex/presentation/thomas/strike2.pdf delete mode 100644 tex/presentation/thomas/textpos.sty delete mode 100644 tex/presentation/thomas/usyd.pdf (limited to 'tex/presentation/thomas') diff --git a/tex/presentation/thomas/ASOPT.pdf b/tex/presentation/thomas/ASOPT.pdf deleted file mode 100644 index d4f1f0b..0000000 Binary files a/tex/presentation/thomas/ASOPT.pdf and /dev/null differ diff --git a/tex/presentation/thomas/CNRS.pdf b/tex/presentation/thomas/CNRS.pdf deleted file mode 100644 index f0546b0..0000000 Binary files a/tex/presentation/thomas/CNRS.pdf and /dev/null differ diff --git a/tex/presentation/thomas/Makefile b/tex/presentation/thomas/Makefile deleted file mode 100644 index 3aff5de..0000000 --- a/tex/presentation/thomas/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -prog: - pdflatex --shell-escape main - bibtex main - pdflatex --shell-escape main - pdflatex --shell-escape main -clean: - rm -f main.pdf *.aux *.bbl *.blg *.idx *.nav *.snm *.toc *.out *.log diff --git a/tex/presentation/thomas/SAPLING november 2011/.DS_Store b/tex/presentation/thomas/SAPLING november 2011/.DS_Store deleted file mode 100644 index 5008ddf..0000000 Binary files a/tex/presentation/thomas/SAPLING november 2011/.DS_Store and /dev/null differ diff --git a/tex/presentation/thomas/TUM.pdf b/tex/presentation/thomas/TUM.pdf deleted file mode 100644 index 2a7e3ea..0000000 --- a/tex/presentation/thomas/TUM.pdf +++ /dev/null @@ -1,63 +0,0 @@ -%PDF-1.3 -%쏢 -5 0 obj -<> -stream -xmM =01 -&c]M-O -L(؞W:]> -/Contents 5 0 R ->> -endobj -3 0 obj -<< /Type /Pages /Kids [ -4 0 R -] /Count 1 ->> -endobj -1 0 obj -<> -endobj -7 0 obj -<>endobj -8 0 obj -<> -endobj -2 0 obj -<>endobj -xref -0 9 -0000000000 65535 f -0000000466 00000 n -0000000584 00000 n -0000000407 00000 n -0000000278 00000 n -0000000015 00000 n -0000000259 00000 n -0000000514 00000 n -0000000555 00000 n -trailer -<< /Size 9 /Root 1 0 R /Info 2 0 R -/ID [(R\(>n֯#o)(R\(>n֯#o)] ->> -startxref -721 -%%EOF diff --git a/tex/presentation/thomas/TUM2.pdf b/tex/presentation/thomas/TUM2.pdf deleted file mode 100644 index 71f8e06..0000000 Binary files a/tex/presentation/thomas/TUM2.pdf and /dev/null differ diff --git a/tex/presentation/thomas/VERIMAG.pdf b/tex/presentation/thomas/VERIMAG.pdf deleted file mode 100644 index 6423fb0..0000000 Binary files a/tex/presentation/thomas/VERIMAG.pdf and /dev/null differ diff --git a/tex/presentation/thomas/WWU.pdf b/tex/presentation/thomas/WWU.pdf deleted file mode 100644 index 1b9f081..0000000 Binary files a/tex/presentation/thomas/WWU.pdf and /dev/null differ diff --git a/tex/presentation/thomas/bib.bib b/tex/presentation/thomas/bib.bib deleted file mode 100644 index eb36633..0000000 --- a/tex/presentation/thomas/bib.bib +++ /dev/null @@ -1,3631 +0,0 @@ -%% This BibTeX bibliography file was created using BibDesk. -%% http://bibdesk.sourceforge.net/ - - -%% Created for Thomas Martin Gawlitza at 2011-05-27 19:13:39 +0200 - - -%% Saved with string encoding Unicode (UTF-8) - - - -@book{flow, - Author = {Ravindra K. Ahuja and Thomas L. Magnati and James B. Orlin}, - Date-Added = {2011-05-27 19:12:20 +0200}, - Date-Modified = {2011-05-27 19:13:15 +0200}, - Publisher = {Prentice Hall}, - Title = {Network Flows}, - Year = {1993}} - -@article{DBLP:journals/combinatorica/Karmarkar84, - Author = {Narendra Karmarkar}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2011-04-26 11:44:39 +0200}, - Date-Modified = {2011-04-26 11:44:39 +0200}, - Journal = {Combinatorica}, - Number = {4}, - Pages = {373-396}, - Title = {A new polynomial-time algorithm for linear programming}, - Volume = {4}, - Year = {1984}} - -@book{Potra97primal-dualinterior-point, - Address = {Philadelphia, PA, U.S.A.}, - Author = {Stephen J. Wright}, - Date-Added = {2011-04-26 11:33:46 +0200}, - Date-Modified = {2011-04-26 11:33:46 +0200}, - Publisher = siam, - Title = {Primal-Dual Interior-Point Methods}, - Year = {1997}} - -@inproceedings{DBLP:conf/stoc/Orlin88, - Author = {James B. Orlin}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STOC}, - Crossref = {DBLP:conf/stoc/STOC20}, - Date-Added = {2011-04-14 16:30:11 +0200}, - Date-Modified = {2011-04-14 16:30:11 +0200}, - Pages = {377-387}, - Title = {A Faster Strongly Polynominal Minimum Cost Flow Algorithm}, - Year = {1988}} - -@proceedings{DBLP:conf/stoc/STOC20, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STOC}, - Date-Added = {2011-04-14 16:30:11 +0200}, - Date-Modified = {2011-04-14 16:30:11 +0200}, - Publisher = {ACM}, - Title = {Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, 2-4 May 1988, Chicago, Illinois, USA}, - Year = {1988}} - -@inproceedings{DBLP:conf/ershov/BjorklundSV03, - Author = {Henrik Bj{\"o}rklund and Sven Sandberg and Sergei G. Vorobyov}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {Ershov Memorial Conference}, - Crossref = {DBLP:conf/ershov/2003}, - Date-Added = {2010-10-05 16:10:13 +0200}, - Date-Modified = {2010-10-05 16:10:13 +0200}, - Pages = {381-394}, - Title = {Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework}, - Year = {2003}, - Bdsk-Url-1 = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=381}} - -@inproceedings{DBLP:conf/focs/SzaboW01, - Author = {Tibor Szab{\'o} and Emo Welzl}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FOCS}, - Date-Added = {2009-04-13 12:46:53 +0200}, - Date-Modified = {2009-04-13 12:46:53 +0200}, - Pages = {547-555}, - Title = {Unique Sink Orientations of Cubes}, - Year = {2001}} - -@article{DBLP:journals/rsa/Gartner02, - Author = {Bernd G{\"a}rtner}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2009-04-13 12:41:00 +0200}, - Date-Modified = {2009-04-13 12:41:00 +0200}, - Ee = {http://dx.doi.org/10.1002/rsa.10034}, - Journal = {Random Struct. Algorithms}, - Number = {3}, - Pages = {353-381}, - Title = {The Random-Facet simplex algorithm on combinatorial cubes}, - Volume = {20}, - Year = {2002}} - -@inproceedings{DBLP:conf/focs/Gartner92, - Author = {Bernd G{\"a}rtner}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FOCS}, - Crossref = {DBLP:conf/focs/FOCS33}, - Date-Added = {2009-04-13 12:40:01 +0200}, - Date-Modified = {2009-04-13 12:40:01 +0200}, - Pages = {464-472}, - Title = {A Subexponential Algorithm for Abstract Optimization Problems}, - Year = {1992}} - -@proceedings{DBLP:conf/focs/FOCS33, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FOCS}, - Date-Added = {2009-04-13 12:40:01 +0200}, - Date-Modified = {2009-04-13 12:40:01 +0200}, - Publisher = {IEEE}, - Title = {33rd Annual Symposium on Foundations of Computer Science, 24-27 October 1992, Pittsburgh, Pennsylvania, USA}, - Year = {1992}} - -@inproceedings{DBLP:conf/stacs/ChatterjeeH06, - Author = {Krishnendu Chatterjee and Thomas A. Henzinger}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Crossref = {DBLP:conf/stacs/2006}, - Date-Added = {2009-04-10 18:34:29 +0200}, - Date-Modified = {2009-04-10 18:34:29 +0200}, - Ee = {http://dx.doi.org/10.1007/11672142_42}, - Pages = {512-523}, - Title = {Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games}, - Year = {2006}} - -@proceedings{DBLP:conf/stacs/2006, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Date-Added = {2009-04-10 18:34:29 +0200}, - Date-Modified = {2009-04-10 18:34:29 +0200}, - Editor = {Bruno Durand and Wolfgang Thomas}, - Isbn = {3-540-32301-5}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings}, - Volume = {3884}, - Year = {2006}} - -@book{RePEc:eee:gamhes:2, - Date-Added = {2009-04-09 16:44:54 +0200}, - Date-Modified = {2009-04-09 16:44:54 +0200}, - Editor = {R.J. Aumann and S. Hart}, - Number = {2}, - Publisher = {Elsevier}, - Series = {Handbook of Game Theory with Economic Applications}, - Title = {Handbook of Game Theory with Economic Applications}, - Url = {http://ideas.repec.org/b/eee/gamhes/2.html}, - Volume = {2}, - Year = 1994, - Bdsk-Url-1 = {http://ideas.repec.org/b/eee/gamhes/2.html}} - -@book{RePEc:eee:gamhes:1, - Date-Added = {2009-04-09 16:43:41 +0200}, - Date-Modified = {2009-04-09 16:43:41 +0200}, - Editor = {R.J. Aumann and S. Hart}, - Number = {1}, - Publisher = {Elsevier}, - Series = {Handbook of Game Theory with Economic Applications}, - Title = {Handbook of Game Theory with Economic Applications}, - Url = {http://ideas.repec.org/b/eee/gamhes/1.html}, - Volume = {1}, - Year = 1992, - Bdsk-Url-1 = {http://ideas.repec.org/b/eee/gamhes/1.html}} - -@book{RePEc:eee:gamhes:3, - Date-Added = {2009-04-09 16:39:49 +0200}, - Date-Modified = {2009-04-09 16:39:49 +0200}, - Editor = {R.J. Aumann and S. Hart}, - Number = {3}, - Publisher = {Elsevier}, - Series = {Handbook of Game Theory with Economic Applications}, - Title = {Handbook of Game Theory with Economic Applications}, - Url = {http://ideas.repec.org/b/eee/gamhes/3.html}, - Volume = {3}, - Year = 2002, - Bdsk-Url-1 = {http://ideas.repec.org/b/eee/gamhes/3.html}} - -@inproceedings{cav2009/GawlitzaS09, - Author = {Thomas Martin Gawlitza and Helmut Seidl}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CAV}, - Date-Added = {2009-04-09 13:49:30 +0200}, - Date-Modified = {2009-04-13 19:15:31 +0200}, - Title = {Games through Nested Fixpoints}, - Year = {2009 (to appear)}} - -@inproceedings{DBLP:conf/fm/GawlitzaS08, - Author = {Thomas Gawlitza and Helmut Seidl}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FM}, - Crossref = {DBLP:conf/fm/2008}, - Date-Added = {2009-04-09 12:35:12 +0200}, - Date-Modified = {2009-04-09 12:35:12 +0200}, - Ee = {http://dx.doi.org/10.1007/978-3-540-68237-0_24}, - Pages = {342-357}, - Title = {Precise Interval Analysis vs. Parity Games}, - Year = {2008}} - -@proceedings{DBLP:conf/fm/2008, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FM}, - Date-Added = {2009-04-09 12:35:12 +0200}, - Date-Modified = {2009-04-09 12:35:12 +0200}, - Editor = {Jorge Cu{\'e}llar and T. S. E. Maibaum and Kaisa Sere}, - Isbn = {978-3-540-68235-6}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings}, - Volume = {5014}, - Year = {2008}} - -@inproceedings{DBLP:conf/atva/GawlitzaS07, - Author = {Thomas Gawlitza and Helmut Seidl}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ATVA}, - Crossref = {DBLP:conf/atva/2007}, - Date-Added = {2009-04-09 12:33:30 +0200}, - Date-Modified = {2009-04-09 12:33:30 +0200}, - Ee = {http://dx.doi.org/10.1007/978-3-540-75596-8_14}, - Pages = {177-191}, - Title = {Computing Game Values for Crash Games}, - Year = {2007}} - -@proceedings{DBLP:conf/atva/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ATVA}, - Date-Added = {2009-04-09 12:33:30 +0200}, - Date-Modified = {2009-04-09 12:33:30 +0200}, - Editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura}, - Isbn = {978-3-540-75595-1}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, - Volume = {4762}, - Year = {2007}} - -@inproceedings{DBLP:conf/esop/GawlitzaS07, - Author = {Thomas Gawlitza and Helmut Seidl}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ESOP}, - Crossref = {DBLP:conf/esop/2007}, - Date-Added = {2009-04-09 12:29:42 +0200}, - Date-Modified = {2009-04-09 12:29:42 +0200}, - Ee = {http://dx.doi.org/10.1007/978-3-540-71316-6_21}, - Pages = {300-315}, - Title = {Precise Fixpoint Computation Through Strategy Iteration}, - Year = {2007}} - -@inproceedings{wing2012, - Author = {Thomas Gawlitza and Helmut Seidl}, - Booktitle = {Easychair Proceedings}, - Title = {Abstract Interpretation over Zones without Widening}, - Note = {To appear}, - Year = {2012}} - -@article{compare2012, - Author = {Thomas Gawlitza and Helmut Seidl and Assale Adje and Stephane Gaubert and Eric Goubault}, - Title = {Abstract Interpretation Meets Convex Optimization}, - journal = {Journal of Symbolic Computation (JSC)}, - note = {To appear}, - year = {2011}} - -@proceedings{DBLP:conf/esop/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ESOP}, - Date-Added = {2009-04-09 12:29:42 +0200}, - Date-Modified = {2009-04-09 12:29:42 +0200}, - Editor = {Rocco De Nicola}, - Isbn = {978-3-540-71314-2}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, - Volume = {4421}, - Year = {2007}} - -@proceedings{DBLP:conf/dagstuhl/2001automata, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {Automata, Logics, and Infinite Games}, - Date-Added = {2009-04-07 23:15:06 +0200}, - Date-Modified = {2009-04-07 23:15:06 +0200}, - Editor = {Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke}, - Isbn = {3-540-00388-6}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]}, - Volume = {2500}, - Year = {2002}} - -@inproceedings{DBLP:conf/soda/ChatterjeeJH04, - Author = {Krishnendu Chatterjee and Marcin Jurdzinski and Thomas A. Henzinger}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {SODA}, - Crossref = {DBLP:conf/soda/2004}, - Date-Added = {2009-04-07 11:46:03 +0200}, - Date-Modified = {2009-04-07 11:46:03 +0200}, - Ee = {http://doi.acm.org/10.1145/982792.982808}, - Pages = {121-130}, - Title = {Quantitative stochastic parity games}, - Year = {2004}} - -@proceedings{DBLP:conf/soda/2004, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {SODA}, - Date-Added = {2009-04-07 11:46:03 +0200}, - Date-Modified = {2009-04-07 11:46:03 +0200}, - Editor = {J. Ian Munro}, - Publisher = {SIAM}, - Title = {Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004}, - Year = {2004}} - -@inproceedings{DBLP:conf/dimacs/Emerson96, - Author = {E. Allen Emerson}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {Descriptive Complexity and Finite Models}, - Crossref = {DBLP:conf/dimacs/1996}, - Date-Added = {2009-03-30 15:13:05 +0200}, - Date-Modified = {2009-03-30 15:13:05 +0200}, - Pages = {185-214}, - Title = {Model Checking and the Mu-calculus}, - Year = {1996}} - -@proceedings{DBLP:conf/dimacs/1996, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {Descriptive Complexity and Finite Models}, - Date-Added = {2009-03-30 15:13:05 +0200}, - Date-Modified = {2009-03-30 15:13:05 +0200}, - Editor = {Neil Immerman and Phokion G. Kolaitis}, - Isbn = {0-8218-0517-7}, - Publisher = {American Mathematical Society}, - Series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, - Title = {Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University}, - Volume = {31}, - Year = {1996}} - -@inproceedings{DBLP:conf/tark/Henzinger05, - Author = {Thomas A. Henzinger}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TARK}, - Crossref = {DBLP:conf/tark/2005}, - Date-Added = {2009-03-30 14:30:02 +0200}, - Date-Modified = {2009-03-30 14:30:02 +0200}, - Ee = {http://doi.acm.org/10.1145/1089933.1089935}, - Pages = {1-4}, - Title = {Games in system design and verification}, - Year = {2005}} - -@proceedings{DBLP:conf/tark/2005, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TARK}, - Date-Added = {2009-03-30 14:30:02 +0200}, - Date-Modified = {2009-03-30 14:30:02 +0200}, - Editor = {Ron van der Meyden}, - Isbn = {981-05-3412-4}, - Publisher = {National University of Singapore}, - Title = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005}, - Year = {2005}} - -@inproceedings{DBLP:conf/valuetools/DhingraG06, - Author = {Vishesh Dhingra and Stephane Gaubert}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {VALUETOOLS}, - Crossref = {DBLP:conf/valuetools/2006}, - Date-Added = {2009-03-30 14:02:31 +0200}, - Date-Modified = {2009-03-30 14:02:31 +0200}, - Ee = {http://doi.acm.org/10.1145/1190095.1190110}, - Pages = {12}, - Title = {How to solve large scale deterministic games with mean payoff by policy iteration}, - Year = {2006}} - -@proceedings{DBLP:conf/valuetools/2006, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {VALUETOOLS}, - Date-Added = {2009-03-30 14:02:31 +0200}, - Date-Modified = {2009-03-30 14:02:31 +0200}, - Editor = {Luciano Lenzini and Rene L. Cruz}, - Isbn = {1-59593-504-5}, - Publisher = {ACM}, - Series = {ACM International Conference Proceeding Series}, - Title = {Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006}, - Volume = {180}, - Year = {2006}} - -@article{DBLP:journals/algorithmica/Halman07, - Author = {Nir Halman}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2009-03-30 13:56:06 +0200}, - Date-Modified = {2009-03-30 13:56:06 +0200}, - Ee = {http://dx.doi.org/10.1007/s00453-007-0175-3}, - Journal = {Algorithmica}, - Number = {1}, - Pages = {37-50}, - Title = {Simple Stochastic Games, Parity Games, Mean Payoff Games and Discounted Payoff Games Are All LP-Type Problems}, - Volume = {49}, - Year = {2007}} - -@article{DBLP:journals/corr/abs-0812-0486, - Author = {Vladimir Gurvich and Peter Bro Miltersen}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2009-03-30 13:50:52 +0200}, - Date-Modified = {2009-03-30 13:50:52 +0200}, - Ee = {http://arxiv.org/abs/0812.0486}, - Journal = {CoRR}, - Title = {On the computational complexity of solving stochastic mean-payoff games}, - Volume = {abs/0812.0486}, - Year = {2008}} - -@inproceedings{DBLP:conf/lics/KlarlundK91, - Author = {Nils Klarlund and Dexter Kozen}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {LICS}, - Crossref = {DBLP:conf/lics/LICS6}, - Date-Added = {2009-03-27 22:34:30 +0100}, - Date-Modified = {2009-03-27 22:34:30 +0100}, - Pages = {256-265}, - Title = {Rabin Measures and Their Applications to Fairness and Automata Theory}, - Year = {1991}} - -@proceedings{DBLP:conf/lics/LICS6, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {LICS}, - Date-Added = {2009-03-27 22:34:30 +0100}, - Date-Modified = {2009-03-27 22:34:30 +0100}, - Publisher = {IEEE Computer Society}, - Title = {Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands}, - Year = {1991}} - -@inproceedings{DBLP:conf/cav/Thomas02, - Author = {Wolfgang Thomas}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CAV}, - Crossref = {DBLP:conf/cav/2002}, - Date-Added = {2009-03-25 15:21:25 +0100}, - Date-Modified = {2009-03-25 15:21:25 +0100}, - Ee = {http://link.springer.de/link/service/series/0558/bibs/2404/24040058.htm}, - Pages = {58-64}, - Title = {Infinite Games and Verification (Extended Abstract of a Tutorial)}, - Year = {2002}} - -@proceedings{DBLP:conf/cav/2002, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CAV}, - Date-Added = {2009-03-25 15:21:25 +0100}, - Date-Modified = {2009-03-25 15:21:25 +0100}, - Editor = {Ed Brinksma and Kim Guldstrand Larsen}, - Isbn = {3-540-43997-8}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}, - Volume = {2404}, - Year = {2002}} - -@inproceedings{DBLP:conf/cc/ShahamKS00, - Author = {Ran Shaham and Elliot K. Kolodner and Shmuel Sagiv}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CC}, - Crossref = {DBLP:conf/cc/2000}, - Date-Added = {2009-03-24 23:06:53 +0100}, - Date-Modified = {2009-03-24 23:06:53 +0100}, - Ee = {http://link.springer.de/link/service/series/0558/bibs/1781/17810050.htm}, - Pages = {50-66}, - Title = {Automatic Removal of Array Memory Leaks in Java}, - Year = {2000}} - -@proceedings{DBLP:conf/cc/2000, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CC}, - Date-Added = {2009-03-24 23:06:53 +0100}, - Date-Modified = {2009-03-24 23:06:53 +0100}, - Editor = {David A. Watt}, - Isbn = {3-540-67263-X}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings}, - Volume = {1781}, - Year = {2000}} - -@inproceedings{DBLP:conf/csl/Schewe08, - Author = {Sven Schewe}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CSL}, - Crossref = {DBLP:conf/csl/2008}, - Date-Added = {2009-03-24 18:55:33 +0100}, - Date-Modified = {2009-03-24 18:55:33 +0100}, - Ee = {http://dx.doi.org/10.1007/978-3-540-87531-4_27}, - Pages = {369-384}, - Title = {An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games}, - Year = {2008}} - -@proceedings{DBLP:conf/csl/2008, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CSL}, - Date-Added = {2009-03-24 18:55:33 +0100}, - Date-Modified = {2009-03-24 18:55:33 +0100}, - Editor = {Michael Kaminski and Simone Martini}, - Isbn = {978-3-540-87530-7}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings}, - Volume = {5213}, - Year = {2008}} - -@inproceedings{DBLP:conf/fsttcs/Schewe07, - Author = {Sven Schewe}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FSTTCS}, - Crossref = {DBLP:conf/fsttcs/2007}, - Date-Added = {2009-03-24 18:54:09 +0100}, - Date-Modified = {2009-03-24 18:54:09 +0100}, - Ee = {http://dx.doi.org/10.1007/978-3-540-77050-3_37}, - Pages = {449-460}, - Title = {Solving Parity Games in Big Steps}, - Year = {2007}} - -@proceedings{DBLP:conf/fsttcs/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FSTTCS}, - Date-Added = {2009-03-24 18:54:09 +0100}, - Date-Modified = {2009-03-24 18:54:09 +0100}, - Editor = {Vikraman Arvind and Sanjiva Prasad}, - Isbn = {978-3-540-77049-7}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings}, - Volume = {4855}, - Year = {2007}} - -@inproceedings{DBLP:conf/stacs/Thomas95, - Author = {Wolfgang Thomas}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Date-Added = {2009-03-21 20:34:24 +0100}, - Date-Modified = {2009-03-21 20:34:24 +0100}, - Pages = {1-13}, - Title = {On the Synthesis of Strategies in Infinite Games}, - Year = {1995}} - -@article{DBLP:journals/apal/McNaughton93, - Author = {Robert McNaughton}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2009-03-21 20:31:47 +0100}, - Date-Modified = {2009-03-21 20:31:47 +0100}, - Journal = {Ann. Pure Appl. Logic}, - Number = {2}, - Pages = {149-184}, - Title = {Infinite Games Played on Finite Graphs}, - Volume = {65}, - Year = {1993}} - -@inproceedings{DBLP:conf/icalp/Kozen82, - Author = {Dexter Kozen}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP}, - Crossref = {DBLP:conf/icalp/1982}, - Date-Added = {2009-03-16 18:38:31 +0100}, - Date-Modified = {2009-03-16 18:38:31 +0100}, - Pages = {348-359}, - Title = {Results on the Propositional $\mu$-Calculus}, - Year = {1982}} - -@proceedings{DBLP:conf/icalp/1982, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP}, - Date-Added = {2009-03-16 18:38:31 +0100}, - Date-Modified = {2009-03-16 18:38:31 +0100}, - Editor = {Mogens Nielsen and Erik Meineche Schmidt}, - Isbn = {3-540-11576-5}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings}, - Volume = {140}, - Year = {1982}} - -@article{DBLP:journals/tocl/McIverM07, - Author = {Annabelle McIver and Carroll Morgan}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2009-03-16 18:28:25 +0100}, - Date-Modified = {2009-03-16 18:31:17 +0100}, - Ee = {http://doi.acm.org/10.1145/1182613.1182616}, - Journal = {ACM Trans. Comput. Log.}, - Number = {1}, - Title = {Results on the quantitative $\mu$-calculus qM$\mu$}, - Volume = {8}, - Year = {2007}} - -@inproceedings{DBLP:conf/tacas/StevensS98, - Author = {Perdita Stevens and Colin Stirling}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TACAS}, - Crossref = {DBLP:conf/tacas/1998}, - Date-Added = {2009-03-16 18:10:34 +0100}, - Date-Modified = {2009-03-16 18:10:34 +0100}, - Ee = {http://link.springer.de/link/service/series/0558/bibs/1384/13840085.htm}, - Pages = {85-101}, - Title = {Practical Model-Checking Using Games}, - Year = {1998}} - -@proceedings{DBLP:conf/tacas/1998, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TACAS}, - Date-Added = {2009-03-16 18:10:34 +0100}, - Date-Modified = {2009-03-16 18:10:34 +0100}, - Editor = {Bernhard Steffen}, - Isbn = {3-540-64356-7}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, - Volume = {1384}, - Year = {1998}} - -@inproceedings{DBLP:conf/cav/EmersonJS93, - Author = {E. Allen Emerson and Charanjit S. Jutla and A. Prasad Sistla}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CAV}, - Crossref = {DBLP:conf/cav/1993}, - Date-Added = {2009-03-16 18:07:43 +0100}, - Date-Modified = {2009-03-16 18:07:43 +0100}, - Pages = {385-396}, - Title = {On Model-Checking for Fragments of $\mu$-Calculus}, - Year = {1993}} - -@proceedings{DBLP:conf/cav/1993, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CAV}, - Date-Added = {2009-03-16 18:07:43 +0100}, - Date-Modified = {2009-03-16 18:07:43 +0100}, - Editor = {Costas Courcoubetis}, - Isbn = {3-540-56922-7}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings}, - Volume = {697}, - Year = {1993}} - -@book{Tarski48, - Author = {Alfred Tarski}, - Date-Added = {2009-03-13 18:00:35 +0100}, - Date-Modified = {2009-03-13 18:06:49 +0100}, - Publisher = {University of California Press}, - Title = {A Decision Method for Elementary Algrebra and Geometry}, - Year = {1948}} - -@inproceedings{DBLP:conf/icalp/GimbertZ07, - Author = {Hugo Gimbert and Wieslaw Zielonka}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP}, - Crossref = {DBLP:conf/icalp/2007}, - Date-Added = {2009-02-25 14:46:10 +0100}, - Date-Modified = {2009-02-25 14:46:10 +0100}, - Ee = {http://dx.doi.org/10.1007/978-3-540-73420-8_73}, - Pages = {850-861}, - Title = {Perfect Information Stochastic Priority Games}, - Year = {2007}} - -@proceedings{DBLP:conf/icalp/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP}, - Date-Added = {2009-02-25 14:46:10 +0100}, - Date-Modified = {2009-02-25 14:46:10 +0100}, - Editor = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki}, - Isbn = {978-3-540-73419-2}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings}, - Volume = {4596}, - Year = {2007}} - -@inproceedings{DBLP:conf/lop/Emerson85, - Author = {E. Allen Emerson}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {Logic of Programs}, - Crossref = {DBLP:conf/lop/1985}, - Date-Added = {2009-02-21 16:32:02 +0100}, - Date-Modified = {2009-02-21 16:32:02 +0100}, - Pages = {79-88}, - Title = {Automata, Tableaux and Temporal Logics (Extended Abstract)}, - Year = {1985}} - -@proceedings{DBLP:conf/lop/1985, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {Logics of Programs}, - Date-Added = {2009-02-21 16:32:02 +0100}, - Date-Modified = {2009-02-21 16:32:02 +0100}, - Editor = {Rohit Parikh}, - Isbn = {3-540-15648-8}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings}, - Volume = {193}, - Year = {1985}} - -@conference{Sha53, - Author = {Lloyed Stowell Shapley}, - Booktitle = {Proceedings of the National Academy of Science}, - Date-Added = {2009-02-14 16:33:04 +0100}, - Date-Modified = {2009-02-14 16:36:14 +0100}, - Pages = {1095-1100}, - Title = {Stochstic Games}, - Volume = {39}, - Year = {1953}} - -@unpublished{Liminf, - Author = {Krishnendu Chatterjee and Thomas A. Henzinger}, - Date-Added = {2009-01-18 19:40:54 +0100}, - Date-Modified = {2009-04-09 14:48:05 +0200}, - Note = {ILC (to Appear)}, - Title = {Probabilistic Systems with LimSup and LimInf Objectives}, - Year = {2009}} - -@article{LigLip69, - Author = {Thomas M. Liggett and Steven A. Lippman}, - Date-Added = {2009-01-18 19:38:12 +0100}, - Date-Modified = {2009-04-09 14:35:16 +0200}, - Journal = {SIAM Review}, - Number = {4}, - Pages = {604-607}, - Title = {Stochastic games with perfict information and time average payoff.}, - Volume = {11}, - Year = {1969}} - -@conference{Gil57, - Author = {D. Gillette}, - Booktitle = {Contributions to the Theory of Games III}, - Date-Added = {2009-01-18 19:28:55 +0100}, - Date-Modified = {2009-04-09 14:09:18 +0200}, - Editor = {M. Dresher and A.W. Tucker and P. Wolfe}, - Journal = {Annals of Mathematics Studies}, - Keywords = {stochastische turn-based mean-payoff games sind positional determiniert}, - Pages = {179-187}, - Publisher = {Princeton University Press}, - Title = {Stochastic games with zero stop probabilities}, - Volume = {39}, - Year = {1957}} - -@inproceedings{DBLP:conf/stacs/FischerGK08, - Author = {Diana Fischer and Erich Gr{\"a}del and Lukasz Kaiser}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Crossref = {DBLP:conf/stacs/2008}, - Date-Added = {2008-12-17 17:25:04 +0100}, - Date-Modified = {2008-12-17 17:25:53 +0100}, - Ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1352}, - Pages = {301-312}, - Title = {Model Checking Games for the Quantitative $\mu$-Calculus}, - Year = {2008}} - -@inproceedings{DBLP:conf/sas/LerouxS07, - Author = {J{\'e}r{\^o}me Leroux and Gr{\'e}goire Sutre}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {SAS}, - Crossref = {DBLP:conf/sas/2007}, - Date-Added = {2008-12-17 10:37:24 +0100}, - Date-Modified = {2008-12-22 16:00:21 +0100}, - Ee = {http://dx.doi.org/10.1007/978-3-540-74061-2_12}, - Pages = {184-199}, - Title = {Accelerated Data-Flow Analysis}, - Year = {2007}} - -@proceedings{DBLP:conf/sas/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {SAS}, - Date-Added = {2008-12-17 10:37:24 +0100}, - Date-Modified = {2008-12-17 10:37:24 +0100}, - Editor = {Hanne Riis Nielson and Gilberto Fil{\'e}}, - Isbn = {978-3-540-74060-5}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings}, - Volume = {4634}, - Year = {2007}} - -@inproceedings{DBLP:conf/atva/ShohamG05, - Author = {Sharon Shoham and Orna Grumberg}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ATVA}, - Crossref = {DBLP:conf/atva/2005}, - Date-Added = {2008-12-09 20:14:32 +0100}, - Date-Modified = {2008-12-09 20:14:32 +0100}, - Ee = {http://dx.doi.org/10.1007/11562948_27}, - Pages = {354-369}, - Title = {Multi-valued Model Checking Games.}, - Year = {2005}} - -@article{DBLP:journals/tosem/ChechikDEG03, - Author = {Marsha Chechik and Benet Devereux and Steve M. Easterbrook and Arie Gurfinkel}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2008-12-09 20:14:23 +0100}, - Date-Modified = {2008-12-09 20:14:23 +0100}, - Ee = {http://doi.acm.org/10.1145/990010.990011}, - Journal = {ACM Trans. Softw. Eng. Methodol.}, - Number = {4}, - Pages = {371-408}, - Title = {Multi-valued symbolic model-checking.}, - Volume = {12}, - Year = {2003}} - -@inproceedings{DBLP:conf/concur/GimbertZ05, - Author = {Hugo Gimbert and Wieslaw Zielonka}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CONCUR}, - Crossref = {DBLP:conf/concur/2005}, - Date-Added = {2008-12-09 20:12:07 +0100}, - Date-Modified = {2008-12-09 20:12:07 +0100}, - Ee = {http://dx.doi.org/10.1007/11539452_33}, - Pages = {428-442}, - Title = {Games Where You Can Play Optimally Without Any Memory.}, - Year = {2005}} - -@inproceedings{DBLP:conf/lics/ChatterjeeHJ05, - Author = {Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzinski}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {LICS}, - Crossref = {DBLP:conf/lics/2005}, - Date-Added = {2008-12-09 20:11:04 +0100}, - Date-Modified = {2008-12-09 20:11:04 +0100}, - Ee = {http://dx.doi.org/10.1109/LICS.2005.26}, - Pages = {178-187}, - Title = {Mean-Payoff Parity Games.}, - Year = {2005}} - -@article{DBLP:journals/entcs/Somla05, - Author = {Rafal Somla}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2008-12-03 10:35:14 +0100}, - Date-Modified = {2008-12-03 10:35:14 +0100}, - Ee = {http://dx.doi.org/10.1016/j.entcs.2004.07.008}, - Journal = {Electr. Notes Theor. Comput. Sci.}, - Number = {1}, - Pages = {51-65}, - Title = {New Algorithms for Solving Simple Stochastic Games}, - Volume = {119}, - Year = {2005}} - -@article{Maitra92, - Author = {A. Maitra and W. Sudderth}, - Date-Added = {2008-12-02 13:24:23 +0100}, - Date-Modified = {2008-12-02 13:24:23 +0100}, - Journal = {Israel Journal of Mathematics}, - Pages = {33-49}, - Title = {An operator solution of stochastic games}, - Volume = {78}, - Year = {1992}} - -@article{Maitra93, - Author = {A. Maitra and W. Sudderth}, - Date-Added = {2008-12-02 13:24:23 +0100}, - Date-Modified = {2008-12-02 13:24:23 +0100}, - Journal = {Annals of Probability}, - Pages = {861-885}, - Title = {Borel stochastic games with limsup payoff}, - Volume = {21}, - Year = {1993}} - -@inproceedings{DBLP:conf/icalp/EsparzaGKS08, - Author = {Javier Esparza and Thomas Gawlitza and Stefan Kiefer and Helmut Seidl}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP (1)}, - Crossref = {DBLP:conf/icalp/2008-1}, - Date-Added = {2008-11-28 14:25:12 +0100}, - Date-Modified = {2008-11-28 14:25:12 +0100}, - Ee = {http://dx.doi.org/10.1007/978-3-540-70575-8_57}, - Pages = {698-710}, - Title = {Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations}, - Year = {2008}} - -@article{Condon92thecomplexity, - Author = {Anne Condon}, - Date-Added = {2008-11-26 11:30:16 +0100}, - Date-Modified = {2008-11-26 11:30:16 +0100}, - Journal = {Information and Computation}, - Pages = {203--224}, - Title = {The complexity of stochastic games}, - Volume = {96}, - Year = {1992}} - -@inproceedings{Condon93onalgorithms, - Author = {Anne Condon}, - Booktitle = {Advances in Computational Complexity Theory, volume 13 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, - Date-Added = {2008-11-26 11:02:40 +0100}, - Date-Modified = {2008-11-26 11:02:40 +0100}, - Pages = {51--73}, - Publisher = {AMS}, - Title = {On algorithms for simple stochastic games}, - Year = {1993}} - -@inproceedings{DBLP:conf/popl/CousotH78, - Author = {Patrick Cousot and Nicolas Halbwachs}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {POPL}, - Date-Added = {2008-11-25 20:48:51 +0100}, - Date-Modified = {2008-11-25 20:48:51 +0100}, - Pages = {84-96}, - Title = {Automatic Discovery of Linear Restraints Among Variables of a Program}, - Year = {1978}} - -@inproceedings{DBLP:conf/icalp/EtessamiWY08, - Author = {Kousha Etessami and Dominik Wojtczak and Mihalis Yannakakis}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP (1)}, - Crossref = {DBLP:conf/icalp/2008-1}, - Date-Added = {2008-11-12 10:12:54 +0100}, - Date-Modified = {2008-11-12 10:12:54 +0100}, - Ee = {http://dx.doi.org/10.1007/978-3-540-70575-8_58}, - Pages = {711-723}, - Title = {Recursive Stochastic Games with Positive Rewards}, - Year = {2008}} - -@proceedings{DBLP:conf/icalp/2008-1, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP (1)}, - Date-Added = {2008-11-12 10:12:54 +0100}, - Date-Modified = {2008-11-12 10:12:54 +0100}, - Editor = {Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'u}s M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz}, - Isbn = {978-3-540-70574-1}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games}, - Volume = {5125}, - Year = {2008}} - -@inproceedings{DBLP:conf/tacas/WojtczakE07, - Author = {Dominik Wojtczak and Kousha Etessami}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TACAS}, - Crossref = {DBLP:conf/tacas/2007}, - Date-Added = {2008-11-12 10:11:46 +0100}, - Date-Modified = {2008-11-12 10:11:46 +0100}, - Ee = {http://dx.doi.org/10.1007/978-3-540-71209-1_7}, - Pages = {66-71}, - Title = {PReMo : An Analyzer for P robabilistic Re cursive Mo dels}, - Year = {2007}} - -@proceedings{DBLP:conf/tacas/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TACAS}, - Date-Added = {2008-11-12 10:11:46 +0100}, - Date-Modified = {2008-11-12 10:11:46 +0100}, - Editor = {Orna Grumberg and Michael Huth}, - Isbn = {978-3-540-71208-4}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, - Volume = {4424}, - Year = {2007}} - -@inproceedings{DBLP:conf/icalp/EtessamiY06, - Author = {Kousha Etessami and Mihalis Yannakakis}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP (2)}, - Crossref = {DBLP:conf/icalp/2006-2}, - Date-Added = {2008-11-12 10:09:41 +0100}, - Date-Modified = {2008-11-12 10:09:41 +0100}, - Ee = {http://dx.doi.org/10.1007/11787006_28}, - Pages = {324-335}, - Title = {Recursive Concurrent Stochastic Games}, - Year = {2006}} - -@proceedings{DBLP:conf/icalp/2006-2, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP (2)}, - Date-Added = {2008-11-12 10:09:41 +0100}, - Date-Modified = {2008-11-12 10:09:41 +0100}, - Editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener}, - Isbn = {3-540-35907-9}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II}, - Volume = {4052}, - Year = {2006}} - -@inproceedings{DBLP:conf/icalp/EtessamiY05, - Author = {Kousha Etessami and Mihalis Yannakakis}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP}, - Crossref = {DBLP:conf/icalp/2005}, - Date-Added = {2008-11-12 10:06:33 +0100}, - Date-Modified = {2008-11-12 10:06:59 +0100}, - Ee = {http://dx.doi.org/10.1007/11523468_72}, - Pages = {891-903}, - Title = {Recursive Markov Decision Processes and Recursive Stochastic Games}, - Year = {2005}} - -@proceedings{DBLP:conf/icalp/2005, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ICALP}, - Date-Added = {2008-11-12 10:06:33 +0100}, - Date-Modified = {2008-11-12 10:06:33 +0100}, - Editor = {Lu\'{\i}s Caires and Giuseppe F. Italiano and Lu\'{\i}s Monteiro and Catuscia Palamidessi and Moti Yung}, - Isbn = {3-540-27580-0}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings}, - Volume = {3580}, - Year = {2005}} - -@techreport{bjoerklund02, - Author = {H. Bj{\"o}rklund and S. Sandberg and S. Vorobyov}, - Date-Added = {2008-11-06 14:57:30 +0100}, - Date-Modified = {2008-11-06 14:59:39 +0100}, - Institution = {Department of Information Technology, Uppsala University}, - Title = {Optimization on completely unimodal hypercubes}, - Type = {Technichal Report 2002-18}, - Year = {2002}} - -@article{Pisaruk99, - Author = {N. Pisaruk}, - Date-Added = {2008-10-31 16:24:58 +0100}, - Date-Modified = {2008-10-31 16:24:58 +0100}, - Journal = {Mathematics of Operations Research}, - Number = {4}, - Pages = {817-828}, - Title = {Mean cost cyclical games}, - Volume = {24}, - Year = {1999}} - -@article{Karzanov88, - Author = {V.A. Gurvich and A.V. Karzanov and L.G. Khachiyan}, - Date-Added = {2008-10-31 16:21:27 +0100}, - Date-Modified = {2009-04-09 14:50:41 +0200}, - Journal = {U.S.S.R. Computational Mathematics and Mathematical Physics}, - Keywords = {mean payoff games}, - Number = {5}, - Pages = {85-91}, - Title = {Cyclic games and an algorithm to find minimax cycle means in directed graphs}, - Volume = {28}, - Year = {1988}} - -@article{DBLP:journals/dam/BjorklundV07, - Author = {Henrik Bj{\"o}rklund and Sergei G. Vorobyov}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Added = {2008-10-31 16:19:10 +0100}, - Date-Modified = {2008-10-31 16:19:10 +0100}, - Ee = {http://dx.doi.org/10.1016/j.dam.2006.04.029}, - Journal = {Discrete Applied Mathematics}, - Number = {2}, - Pages = {210-229}, - Title = {A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games}, - Volume = {155}, - Year = {2007}} - -@inproceedings{Vrieze98, - Author = {F. Thuijsman and O.J. Vrieze}, - Booktitle = {Journal of Optimazation Theory and Applications}, - Date-Added = {2008-10-31 15:17:56 +0100}, - Date-Modified = {2008-10-31 15:17:56 +0100}, - Pages = {175-196}, - Title = {Total Reward Stochastic Games and Sensitive Average Reward Strategies}, - Volume = {98}, - Year = {1998}} - -@article{Ehrenfeucht79, - Author = {Andrzej Ehrenfeucht and Jerzy Mycielski}, - Date-Added = {2008-10-31 15:14:37 +0100}, - Date-Modified = {2008-10-31 15:14:37 +0100}, - Journal = {IJGT}, - Pages = {109-113}, - Title = {Positional strategies for mean payoff games}, - Volume = {8}, - Year = {1979}} - -@inproceedings{CouCou76, - Author = {Patrick Cousot and Radhia Cousot}, - Booktitle = {Second Int. Symp. on Programming}, - Date-Added = {2008-10-16 16:33:12 +0200}, - Date-Modified = {2008-10-16 16:33:12 +0200}, - Pages = {106--130}, - Publisher = {Dunod, Paris, France}, - Title = {{Static Determination of Dynamic Properties of Programs}}, - Year = {1976}} - -@article{Knaster28, - Author = {B. Knaster}, - Date-Added = {2008-09-03 15:01:52 +0200}, - Date-Modified = {2008-09-03 15:09:35 +0200}, - Journal = {Annales Soc. Polonaise}, - Pages = {133-134}, - Title = {Un th{\'e}or{\`eme} sur les fonctions d'ensembles}, - Volume = {6}, - Year = {1928}} - -@article{Tarski55, - Author = {Alfred Tarski}, - Date-Added = {2008-09-03 14:59:19 +0200}, - Date-Modified = {2008-09-03 15:00:37 +0200}, - Journal = {Pac. J. Math.}, - Pages = {285-309}, - Title = {A lattice-theoretical fixpoint theorem and its appications}, - Volume = {5}, - Year = {1955}} - -@book{Nielson05, - Author = {Flemming Nielson and Hanne Riis Nielson and Chris Hankin}, - Date-Added = {2008-09-03 14:16:20 +0200}, - Date-Modified = {2008-09-03 14:17:36 +0200}, - Keywords = {static analysis}, - Publisher = {Springer Verlag}, - Title = {Principles of Program Analysis}, - Year = {2005}} - -@techreport{www.sans.org/top20, - Author = {SANS Institute}, - Date-Added = {2008-09-03 13:46:54 +0200}, - Date-Modified = {2009-04-09 14:01:21 +0200}, - Keywords = {buffer overrun}, - Title = {The twenty most critical internet security vulnerabilities}, - Url = {www.sans.org/top20}, - Bdsk-Url-1 = {www.sans.org/top20}} - -@article{kleeminty72, - Author = {V. Klee and G.J.Minty}, - Date-Added = {2008-08-13 14:06:47 +0200}, - Date-Modified = {2009-04-09 14:35:59 +0200}, - Editor = {O. Shisha}, - Journal = {Inequalities}, - Pages = {159-175}, - Publisher = {Acadimic Press, New York}, - Title = {How Good is the Simplex Algorithm}, - Volume = {III}, - Year = {1972}} - -@book{schrijver86, - Author = {Alexander Schrijver}, - Date-Added = {2008-08-13 13:04:19 +0200}, - Date-Modified = {2008-08-13 13:06:15 +0200}, - Publisher = {Wiley}, - Title = {Theory of Linear and Integer Programming}, - Year = {1986}} - -@book{Davey02, - Author = {B. A. Davey and H. A. Priestley}, - Date-Added = {2008-08-04 08:51:05 +0200}, - Date-Modified = {2008-08-04 08:54:11 +0200}, - Month = {April}, - Publisher = {Cambridge University Press}, - Title = {Introduction to Lattices and Order}, - Year = {2002}} - -@inproceedings{DBLP:conf/focs/EmersonJ91, - Author = {E. Allen Emerson and Charanjit S. Jutla}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FOCS}, - Crossref = {DBLP:conf/focs/FOCS32}, - Date-Added = {2007-09-14 17:23:46 +0200}, - Date-Modified = {2007-09-14 17:23:46 +0200}, - Pages = {368-377}, - Title = {Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)}, - Year = {1991}} - -@proceedings{DBLP:conf/focs/FOCS32, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {FOCS}, - Date-Added = {2007-09-14 17:23:46 +0200}, - Date-Modified = {2007-09-14 17:23:46 +0200}, - Publisher = {IEEE}, - Title = {32nd Annual Symposium on Foundations of Computer Science, 1-4 October 1991, San Juan, Puerto Rico}, - Year = {1991}} - -@article{Cochet99, - Author = {Jean Cochet-Terrasson and St{\'e}phane Gaubert and Jeremy Gunawardena}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Dynamics and Stability of Systems}, - Number = 4, - Pages = {407--433}, - Title = {{A Constructive Fixed Point Theorem for Min-Max Functions}}, - Volume = {14}, - Year = 1999} - -@inproceedings{Voege00, - Author = {Jens V{\"o}ge and Marcin Jurdzi{\'n}ski}, - Booktitle = {Computer Aided Verification, 12th Int. Conf. (CAV)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {202-215}, - Publisher = {LNCS 1855, Springer}, - Title = {{A Discrete Strategy Improvement Algorithm for Solving Parity Games}}, - Year = {2000}} - -@inproceedings{JonMuc82, - Author = {Neil D. Jones and Steven S. Muchnick}, - Booktitle = {Proceedings of the 9th ACM Symposium on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {66-74}, - Publisher = {ACM Press}, - Title = {{A {F}lexible {A}pproach to {I}nterprocedural {D}ata {F}low {A}nalysis and {P}rograms with {R}ecursive Data Structures}}, - Year = 1982} - -@article{Knu77, - Author = {Donald E.\ Knuth}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Information Processing Letters (IPL)}, - Number = {1}, - Pages = {1-5}, - Title = {{A Generalization of Dijkstra's algorithm}}, - Volume = {6}, - Year = {1977}} - -@techreport{LeCharlier95f, - Author = {Baudouin Le Charlier and Pascal Van Hentenryck}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Institution = {Institute of Computer Science, University of Namur, Belgium, (also Brown University)}, - Month = jan, - Note = {Presented at the LOPSTR'93--COMPUNET Program Development Joint Workshop, Louvain la Neuve, Belgium, July 1993, Published in Proc. of JFLP'95, Dijon, France, June 1995}, - Title = {{A Generic Fixpoint Semantics for Prolog and its Application for Abstract Interpretation}}, - Year = {1993}} - -@article{Yan97, - Author = {Wuu Yang}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal of Information Science and Engineering}, - Note = {accepted}, - Title = {{A Lattice Framework for Analyzing Context-free Languages with Applications in Parser Simplification and Data-flow Analysis}}, - Year = 1997} - -@article{Bru91, - Author = {Maurice Bruynooghe}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Number = {1/2/3/4}, - Pages = {91-124}, - Title = {A {P}ractical {F}ramework for the {A}bstract {I}nterpretation of {L}ogic {P}rograms}, - Volume = 10, - Year = 1991} - -@inproceedings{Costan05, - Author = {Alexandru Costan and Stephane Gaubert and Eric Goubault and Matthieu Martel and Sylvie Putot}, - Booktitle = {Computer Aided Verification, 17th Int. Conf. (CAV)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {462-475}, - Publisher = {LNCS 3576, Springer Verlag}, - Title = {{A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.}}, - Year = {2005}} - -@inproceedings{DBLP:conf/esop/GaubertGTZ07, - Author = {Stephane Gaubert and Eric Goubault and Ankur Taly and Sarah Zennou}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ESOP}, - Crossref = {DBLP:conf/esop/2007}, - Ee = {http://dx.doi.org/10.1007/978-3-540-71316-6_17}, - Pages = {237-252}, - Title = {Static Analysis by Policy Iteration on Relational Domains}, - Year = {2007}} - -@phdthesis{Nil89, - Author = {Ulf Nilsson}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - School = {Department of Computer Science and Information Science, Link{\"o}ping University, Sweden}, - Title = {A {S}ystematic {A}pproach to {A}bstract {I}nterpretation of {L}ogic {P}rograms}, - Year = 1989} - -@inproceedings{Cle91, - Address = {Bordeaux, France}, - Author = {Eric Villemont de la Clergerie}, - Booktitle = {JTASPEFL'91}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {Billaud, M. and al.}, - Pages = {151--156}, - Publisher = {Bigre 74}, - Title = {A {T}ool for {A}bstract {I}nterpretation: {D}ynamic {P}rogramming}, - Year = 1991} - -@techreport{ChaHen92, - Author = {Baudouin Le Charlier and Pascal Van Hentenryck}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Institution = {Brown University, Providence, RI 02912}, - Number = {CS-92-25}, - Title = {{A Universal Top-Down Fixpoint Algorithm}}, - Year = {1992}} - -@inproceedings{Bou93, - Author = {Francois Bourdoncle}, - Booktitle = {ACM Conference on Programming Language Design and Implementation (PLDI)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {46-55}, - Publisher = {SIGPLAN Notices 28(6)}, - Title = {{Abstract Debugging of Higher-Order Imperative Programs}}, - Year = {1993}} - -@article{Cou92a, - Author = {Patrick Cousot and Radhia Cousot}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Number = {2\&3}, - Title = {{Abstract Interpretation and Application to Logic Programs}}, - Volume = {13}, - Year = 1992} - -@article{Kanamori93, - Author = {T.\ Kanamori and T.\ Kawamura}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Month = {January}, - Number = {1-2}, - Pages = {1-30}, - Title = {{Abstract Interpretation Based on OLDT Resolution}}, - Volume = {15}, - Year = {1993}} - -@article{Bou92, - Author = {Francois Bourdoncle}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal of Functional Programming}, - Number = {4}, - Pages = {407-435}, - Title = {{Abstract Interpretation by Dynamic Partioning}}, - Volume = {2}, - Year = {1992}} - -@article{Cou92b, - Author = {Patrick Cousot and Radhia Cousot}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {{Journal of Logic and Computation}}, - Number = {4}, - Pages = {511--547}, - Title = {{Abstract Interpretation Frameworks}}, - Volume = {2}, - Year = 1992} - -@inproceedings{Cou97, - Author = {Patrick Cousot and Radhia Cousot}, - Booktitle = {Proceedings of 6th International Conference on Algebraic Methodology and Software Technology (AMAST)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {138-154}, - Publisher = {Springer, LNCS 1349}, - Title = {{Abstract Interpretation of Algebraic Polynomial Systems}}, - Year = {1997}} - -@techreport{HenDegChaMic93, - Author = {Pascal Van Hentenryck and Olivier Degimbe and Baudouin Le Charlier and Laurent Michel}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Institution = {Brown University, Providence, RI 02912}, - Number = {CS-93-05}, - Title = {{Abstract Interpretation of Prolog Based on OLDT Resolution}}, - Year = {1993}} - -@inproceedings{Sch96, - Author = {David A. Schmidt}, - Booktitle = {Proceedings of the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {Mads Dam}, - Month = {June}, - Place = {Stockholm}, - Publisher = {LNCS 1192, Springer Verlag}, - Title = {{Abstract Interpretation of Small-Step Semantics}}, - Year = {1996}} - -@article{Abr90, - Author = {Samson Abramsky}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal of Logic and Computation}, - Pages = {5-40}, - Title = {{Abstract Interpretation, Logical Relations, and Kan extensions}}, - Volume = {2}, - Year = {1990}} - -@phdthesis{Fec97, - Address = {Saarbr{\"u}cken}, - Author = {Christian Fecht}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - School = {Universit{\"a}t des Saarlandes}, - Title = {{Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung}}, - Year = {1997}} - -@book{RanRus64, - Author = {B. Randell and L.J. Russell}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Publisher = {Academic Press, New York}, - Title = {{Algol 60 Implementation}}, - Year = {1964}} - -@inproceedings{LeCharlier94z, - Address = {Ithaca NY, USA}, - Author = {Baudouin Le Charlier and S.\ Rossi and Pascal Van Hentenryck}, - Booktitle = {Proceedings of the International Logic Programming Symposium ({ILPS}'94)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {Bruynooghe, M.}, - Month = nov, - Publisher = {MIT Press}, - Title = {{An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut}}, - Year = 1994} - -@inproceedings{Son86, - Author = {Harald S{\o}ndergaard}, - Booktitle = {Proceedings of 1st European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {327-338}, - Publisher = {LNCS 213, Springer Verlag}, - Title = {{An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction}}, - Year = {1986}} - -@inproceedings{FecSei96, - Author = {Christian Fecht and Helmut Seidl}, - Booktitle = {Proceedings of 3rd Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Note = {Long version to appear in {\em Science of Computer Programming (SCP)}}, - Pages = {189-204}, - Publisher = {LNCS 1145, Springer Verlag}, - Title = {{An Even Faster Solver for General Systems of Equations}}, - Year = {1996}} - -@inproceedings{MarAltWil98, - Author = {Florian Martin and Martin Alt and Reinhard Wilhelm}, - Booktitle = {Proceedings Compiler Construction, 7th Int.\ Conference (CC)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {80-94}, - Publisher = {LNCS 1383, Springer Verlag}, - Title = {{Analysis of Loops}}, - Year = {1998}} - -@phdthesis{Cle-PhD, - Address = {Paris, France}, - Author = {Eric Villemonte de la Clergerie}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Month = jun, - School = {Universit\'e Paris VII}, - Title = {{Automates \`a Piles et Programmation Dynamique : DyALog, Application \`a la Programmation en Logique}}, - Year = {1993}} - -@phdthesis{Ram93, - Author = {G.\ Ramalingam}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - School = {Computer Sciences Department, University of Wisconsin, Madison}, - Title = {Bounded Incremental Computation}, - Year = 1993} - -@book{Ram96, - Author = {G.\ Ramalingam}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Publisher = {LNCS 1089, Springer Verlag}, - Title = {{Bounded Incremental Computation}}, - Year = {1996}} - -@inproceedings{Braem94, - Address = {Ithaca NY, USA}, - Author = {C.\ Braem and Baudouin Le Charlier and S.\ Modard and Pascal Van Hentenryck}, - Booktitle = {Proceedings of the International Logic Programming Symposium ({ILPS}'94)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {Bruynooghe, M.}, - Month = nov, - Publisher = {MIT Press}, - Title = {{Cardinality Analysis of Prolog}}, - Year = {1994}} - -@article{CouCou91a, - Author = {Patrick Cousot and Radhia Cousot}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {BIGRE}, - Month = oct, - Pages = {107--110}, - Publisher = {IRISA, Ren\-nes, France}, - Title = {{Comparison of the {G}alois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFL '91, {B}ordeaux}}, - Volume = 74, - Year = 1991} - -@book{WilMau95, - Author = {R. Wilhelm and D. Maurer}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Publisher = {Addison-Wesley}, - Title = {Compiler Design}, - Year = 1995} - -@techreport{Lan88, - Author = {Lang, Bernard}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Institution = {INRIA}, - Number = 913, - Title = {{Complete Evaluation of {H}orn Clauses: an Automata Theoretic Approach}}, - Year = 1988} - -@inproceedings{Bjork2003, - Author = {Henrik Bjorklund and Sven Sandberg and Sergei Vorobyov}, - Booktitle = {Proc. 5th Int. Andrei Ershov Memorial Conf. Perspectives of System Informatics}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {381--394}, - Publisher = {LNCS 2890, Springer}, - Title = {{Complexity of Model Checking by Iterative Improvement: the Pseudo-Boolean Framework }}, - Year = 2003} - -@proceedings{DBLP:conf/cav/2000, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CAV}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {E. Allen Emerson and A. Prasad Sistla}, - Isbn = {3-540-67770-4}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings}, - Volume = {1855}, - Year = {2000}} - -@article{Cho62, - Author = {Noam Chomsky}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Quart.\ Prog.\ Dept.}, - Pages = {187-194}, - Publisher = {MIT Res. Lab. Elect.}, - Title = {{Context-free Grammars and Pushdown Storage}}, - Volume = {65}, - Year = {1962}} - -@inproceedings{Shi88, - Author = {Olin Shivers}, - Booktitle = {Proceedings of ACM-SIGPLAN Conference on Programming Languages Design and Implementation (PLDI)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {164-174}, - Publisher = {SIGPLAN Notices}, - Title = {{Control-Flow Analysis in Scheme}}, - Volume = {23(7)}, - Year = {1988}} - -@inproceedings{JonMyc86, - Author = {Neil D.\ Jones and Alan Mycroft}, - Booktitle = {Proceedings of 13th ACM Symposium on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {296-306}, - Publisher = {ACM Press}, - Title = {{Data Flow Analysis of Applicative Programs Using Minimal Function Graphs}}, - Year = {1986}} - -@article{Poe53, - Author = {W.L.\ Van Der Poel}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Applied Scientific Research (B)}, - Pages = {190-198}, - Title = {{Dead Programmes for a Magnetic Drum Automatic Computer}}, - Volume = {3}, - Year = {1953}} - -@inproceedings{HorRepSag95c, - Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv}, - Booktitle = {Proceedings of 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Month = oct, - Pages = {104-115}, - Title = {{Demand Interprocedural Dataflow Analysis}}, - Year = {1995}} - -@inproceedings{DueGupSof95, - Author = {Evelyn Duesterwald and Rajiv Gupta and Mary Lou Soffa}, - Booktitle = {Proceedings of 22nd ACM Symposium on Principles of Programming Languages ({POPL})}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {37-48}, - Publisher = {ACM Press}, - Title = {{Demand-driven Computation of Interprocedural Data Flow}}, - Year = {1995}} - -@article{MarSonJon94, - Author = {Kim Marriott and Harald S{\o}ndergaard and Neil D. Jones}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {ACM Transactions of Programming Languages and Systems {(TOPLAS)}}, - Number = 3, - Pages = {607-648}, - Title = {{Denotational Abstract Interpretation of Logic Programs}}, - Volume = {16}, - Year = {1994}} - -@inproceedings{SeiFec97a, - Author = {Helmut Seidl and Christian Fecht}, - Booktitle = {{International Logic Programming Symposium (ILPS)}}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {408}, - Publisher = {MIT Press}, - Title = {{Disjunctive Completion Is Not ``Optimal''}}, - Year = 1997} - -@book{Howard, - Author = {R. Howard}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Publisher = {Wiley, New York}, - Title = {{Dynamic Programming and Markov Processes}}, - Year = {1960}} - -@article{ChaCorHen95, - Author = {Baudouin Le Charlier and Agostino Cortesi and Pascal Van Hentenryck}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Number = 3, - Pages = {237-278}, - Title = {{Evaluation of the Domain {PROP}}}, - Volume = {23}, - Year = {1995}} - -@article{ChaHen94, - Author = {Baudouin Le Charlier and Pascal Van Hentenryck}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {ACM Transactions of Programming Languages and Systems {(TOPLAS)}}, - Number = 1, - Pages = {35-101}, - Title = {{Experimental Evaluation of a Generic Abstract Interpretation Algorithm for {P}rolog}}, - Volume = {16}, - Year = {1994}} - -@book{Hec77, - Author = {Matthew S.\ Hecht}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Publisher = {Elsevier, North Holland}, - Title = {{Flow Analysis of Computer Programs}}, - Year = {1977}} - -@inproceedings{UhlHor94, - Author = {J. Uhl and R.N. Horspool}, - Booktitle = {Proc. of the Fifth Int. Conf. on Comp. Construct.}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {P.A. Fritzson}, - Location = {Edinburgh, U.K.}, - Pages = {203-217}, - Publisher = {Lec. Notes in Comp. Sci. 786, Springer Verlag}, - Title = {Flow grammars: A flow analysis methodology}, - Year = 1994} - -@article{Cou83, - Author = {Bruno Courcelle}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Theoretical Computer Science (TCS)}, - Pages = {95-169}, - Title = {{Fundamental Properties of Infinite Trees}}, - Volume = 25, - Year = 1983} - -@phdthesis{Moe85, - Author = {Ulrich M\"oncke}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - School = {Universit{\"a}t des {S}aarlandes}, - Title = {{G}enerierung von {S}ystemen zur Transformation attributierter {O}peratorb\"aume, -- {K}omponenten des {S}ystems und {M}echanismen der {G}enerierung}, - Year = 1985} - -@inproceedings{Fec95, - Author = {Christian Fecht}, - Booktitle = {Proceedings of 2nd Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {418-419}, - Publisher = {LNCS 983, Springer Verlag}, - Title = {{GENA - A Tool for Generating Prolog Analyzers from Specifications}}, - Year = {1995}} - -@inproceedings{AltMar95, - Author = {Martin Alt and Florian Martin}, - Booktitle = {Proceedings of 2nd Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {33-50}, - Publisher = {LNCS 983, Springer Verlag}, - Title = {{Generation of Efficient Interprocedural Analyzers with PAG}}, - Year = {1995}} - -@article{EngChaHen93, - Author = {Vincent Englebert and Baudouin Le Charlier and Didier Roland and Pascal Van Hentenryck}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Software -- Practice and Experience}, - Number = 4, - Pages = {419-459}, - Title = {{Generic Abstract Interpretation Algorithms for {P}rolog: Two Optimization Techniques and their Experimental Evaluation}}, - Volume = {23}, - Year = {1993}} - -@inproceedings{MoeWil91, - Author = {Ulrich M{\"o}ncke and Reinhard Wilhelm}, - Booktitle = {Attribute Grammars, Applications and Systems}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {H. Alblas and B. Melichar}, - Pages = {151--186}, - Publisher = {LNCS 545, Springer Verlag}, - Title = {{Grammar Flow Analysis}}, - Year = {1991}} - -@inproceedings{Cou94, - Author = {Patrick Cousot and Radhia Cousot}, - Booktitle = {Proceedings of International IEEE Conference on Computer Languages (ICCL)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {95-112}, - Title = {{Higher-Order Abstract Interpretation (and Application to Comportment analysis Generalizing Strictness, Termination, Projection and {PER} Analysis of Functional Languages)}}, - Year = {1994}} - -@inproceedings{FilRan94, - Author = {Gilberto Fil{\'e} and Francesco Ranzato}, - Booktitle = {Proceedings of International Symposium on Logic Programming (SLP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {655-669}, - Publisher = {MIT Press}, - Title = {{Improving Abstract Interpretations by Systematic Lifting to the Powerset}}, - Year = {1994}} - -@inproceedings{KraBer95, - Author = {Andreas Krall and Thomas Berger}, - Booktitle = {International Conference on Logic Programming (ICLP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {333-347}, - Publisher = {MIT Press}, - Title = {{Incremental Global Compilation of Prolog with the Vienna Abstract Machine}}, - Year = {1995}} - -@inproceedings{Cou92, - Author = {Patrick Cousot and Radhia Cousot}, - Booktitle = {Proceedings of 19th ACM Symposium on Principles of Programming Languages {(POPL)}}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {83-94}, - Publisher = {ACM Press}, - Title = {{Inductive Definitions, Semantics and Abstract Interpretation}}, - Year = {1992}} - -@article{CleBar97, - Author = {Eric Villemonte de la Clergerie and Francois Barth{\'e}lemy}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Theoretical Computer Science (TCS)}, - Number = {1\&2}, - Pages = {167-198}, - Title = {{Information Flow in Tabular Interpretations for Generalized Pushdown Automata}}, - Volume = {199}, - Year = {1998}} - -@article{DebPro97, - Author = {Saumya K.\ Debray and Todd Proebsting}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, - Month = {July}, - Number = 4, - Pages = {568-585}, - Title = {{Inter-procedural Control Flow Analysis of First Order Programs with Tail Call Optimization}}, - Volume = {19}, - Year = {1997}} - -@inproceedings{Bou90, - Author = {Francois Bourdoncle}, - Booktitle = {International Workshop on Programming Language Implementation and Logic Programming (PLILP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {307-323}, - Publisher = {LNCS 456, Springer Verlag}, - Title = {{Interprocedural Abstract Interpretation of Block-Structured Languages with Nested Procedures, Aliasing and Recursivity}}, - Year = {1990}} - -@article{SeiFec99, - Author = {Helmut Seidl and Christian Fecht}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Journal on Logic Programming (JLP)}, - Note = {To appear}, - Title = {{Interprocedural Analyses: A Comparison}}, - Year = 1999} - -@inproceedings{SeiFec97, - Author = {Helmut Seidl and Christian Fecht}, - Booktitle = {{Verification, Model Checking and Abstract Interpretation. A Workshop in Association with ILPS'97}}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Title = {{Interprocedural Analysis Based on PDAs}}, - Year = {1997}} - -@inproceedings{MoeWil82, - Author = {Ulrich M{\"o}ncke and Reinhard Wilhelm}, - Booktitle = {Proceedings of 8th GI Conference on Graph-Theoretical Concepts in Computer Science}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Editor = {H.\ G{\"o}ttler}, - Pages = {177-194}, - Publisher = {Hanser Verlag}, - Title = {{Iterative Algorithms on Grammar Graphs}}, - Year = {1982}} - -@article{Seidl1996, - Author = {Helmut Seidl}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Nordic Journal of Computing (NJC)}, - Number = {1}, - Pages = {41-62}, - Title = {{Least and Greatest Solutions of Equations over {$\cal N$}}}, - Volume = {3}, - Year = {1996}} - -@book{WilMau94, - Author = {R. Wilhelm and D. Maurer}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Publisher = {Masson}, - Title = {Les compilateurs. th\'{e}orie. construction. g\'{e}n\'{e}ration.}, - Year = 1994} - -@book{Puterman, - Author = {Martin L. Puterman}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Publisher = {Wiley, New York}, - Title = {{Markov Decision Processes: Discrete Stochastic Dynamic Programming}}, - Year = {1994}} - -@article{Warren92, - Author = {David S. Warren}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {CACM}, - Number = 3, - Pages = {93-111}, - Title = {{Memoing for {L}ogic {P}rograms}}, - Volume = {35}, - Year = 1992} - -@article{KamUll77, - Author = {John B. Kam and Jeffrey D. Ullman}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Journal = {Acta Informatica}, - Pages = {309-317}, - Title = {{Monotone Data Flow Analysis Frameworks}}, - Volume = {7}, - Year = {1977}} - -@inproceedings{Grumberg05, - Author = {S. Shoham and O. Grumberg}, - Booktitle = {3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:54 +0200}, - Pages = {11-25}, - Publisher = {LNCS 3707, Springer}, - Title = {{Multi-Valued Model Checking Games}}, - Year = 2005} - -@inproceedings{Sch95, - Author = {David A. Schmidt}, - Booktitle = {Proceedings of 2nd Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {1-18}, - Publisher = {LNCS 983, Springer Verlag}, - Title = {{Natural-Semantics-Based abstract Interpretation (Preliminary Version)}}, - Year = {1995}} - -@inproceedings{PitSta93, - Author = {Andrew M. Pitts and Ian D.B. Stark}, - Booktitle = {Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science (MFCS)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {122-141}, - Publisher = {LNCS 711, Springer Verlag}, - Title = {{Observable Properties of Higher Order Functions that Dynamically Create Local Names, or: What's {\em new}?}}, - Year = {1993}} - -@inproceedings{SatoTamaki86, - Author = {Taisuke Sato and Hisao Tamaki}, - Booktitle = {Proceedings of 3rd International Conference on Logic Programming (ICLP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {Ehud Y. Shapiro}, - Pages = {84-98}, - Publisher = {LNCS 225, Springer Verlag}, - Title = {{OLD} {R}esolution with {T}abulation}, - Year = 1986} - -@inproceedings{Tamaki86, - Address = {London, England}, - Author = {Tamaki, H. and Sato, T.}, - Booktitle = {Proceedings of the Third International Conference on Logic Programming ({ICLP}'86)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {Shapiro, E.}, - Month = {July}, - Pages = {84-98}, - Publisher = {Springer-Verlag}, - Series = {Lecture Notes in Computer Science}, - Title = {{OLD}-resolution with Tabulation}, - Volume = 225, - Year = {1986}} - -@article{Sch63, - Author = {Marcel Paul Sch{\"u}tzenberger}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Information and Control}, - Pages = {246-264}, - Title = {{On Context-free Languages and Pushdown Automata}}, - Volume = {6}, - Year = {1963}} - -@inproceedings{Deu90, - Author = {Alain Deutsch}, - Booktitle = {Proceedings of 17th ACM Symposium on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {157-168}, - Publisher = {ACM Press}, - Title = {{On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications}}, - Year = {1990}} - -@article{HoffmanKarp, - Author = {A.J. Hoffman and R.M. Karp}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Management Sci.}, - Pages = {359--370}, - Title = {{On Nonterminating Stochastic Games}}, - Volume = {12}, - Year = {1966}} - -@inproceedings{Megiddo87, - Author = {Nimrod Megiddo}, - Booktitle = {Advances in Economic Theory: 5th World Congress}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {T. Bewley}, - Pages = {225-268}, - Publisher = {Cambridge University Press}, - Title = {{On the Complexity of Linear Programming}}, - Year = {1987}} - -@article{CorFilWin96, - Author = {Agostino Cortesi and Gilberto Fil{\'e} and William H. Winsborough}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Number = 2, - Pages = {137-167}, - Title = {{Optimal Groundness Analysis Using Propositional Logic}}, - Volume = {27}, - Year = {1996}} - -@techreport{Gawlitza06, - Author = {Thomas Gawlitza and Jan Reineke and Helmut Seidl and Reinhard Wilhelm}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Institution = {TU M{\"u}nchen}, - Title = {{Polynomial Exact Interval Analysis Revisited}}, - Year = 2006} - -@article{MarSon93, - Author = {Kim Marriott and Harald S{\o}ndergaard}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {ACM Letters on Programming Languages and Systems {(LOPLAS)}}, - Pages = {181-196}, - Title = {{Precise and Efficient Groundness Analysis for Logic Programs}}, - Volume = 2, - Year = {1993}} - -@inproceedings{HorRepSag95a, - Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv}, - Booktitle = {Proceedings of 22nd ACM Symposium on Principles of Programming Languages ({POPL})}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {49-61}, - Publisher = {ACM Press}, - Title = {{Precise Interprocedural Dataflow Analysis via Graph Reachability}}, - Year = {1995}} - -@inproceedings{HorRepSag95b, - Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv}, - Booktitle = {Proceedings of 6th International Conference on Theory and Practice of Software Development ({TAPSOFT})}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {651-665}, - Publisher = {LNCS 915, Springer Verlag}, - Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}}, - Year = {1995}} - -@article{HorRepSag96, - Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Theoretical Computer Science}, - Number = {1\&2}, - Pages = {131-170}, - Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}}, - Volume = {167}, - Year = {1996}} - -@inproceedings{FecSei98, - Author = {Christian Fecht and Helmut Seidl}, - Booktitle = {European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Note = {Long version in {\em Northern Journal of Computing 5, 304-329,1998}}, - Pages = {90-104}, - Publisher = {LNCS 1381, Springer Verlag}, - Title = {{Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems}}, - Year = {1998}} - -@article{McC60, - Author = {John McCarthy}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {CACM}, - Number = 4, - Pages = {184-195}, - Title = {Recursive {F}unctions of {S}ymbolic {E}xpressions and {T}heir {C}omputation by {M}achine}, - Volume = 3, - Year = 1960} - -@article{HugLau94, - Author = {John Hughes and John Launchbury}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Science of Computer Programming (SCP)}, - Pages = {307-326}, - Title = {{Reversing Abstract Interpretations}}, - Volume = {22}, - Year = {1994}} - -@book{NiwinskiArnold, - Author = {Andr{e} Arnold and Damina Niwinski}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Publisher = {North-Holland}, - Series = {Studies in Logic and The Foundations of Computer Science}, - Title = {{Rudiments of $\mu$-Calculus}}, - Volume = 146, - Year = 2001} - -@phdthesis{Bou92x, - Author = {Francois Bourdoncle}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - School = {{\'E}cole Polytechnique, Paris}, - Title = {{S\'emantiques des Langages Imp\'eratifs d'Ordre Sup\'erieur et Interpr\'etation Abstraite}}, - Year = {1992}} - -@incollection{Cou81, - Author = {Patrick Cousot}, - Booktitle = {Program Flow Analysis: Theory and Applications}, - Chapter = {10}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {Steven S. Muchnick and Neil D. Jones}, - Pages = {303-342}, - Publisher = {Prentice-Hall, Inc., Englewood Cliffs, New Jersey}, - Title = {{Semantic Foundations of Program Analysis}}, - Year = {1981}} - -@book{Gun92, - Address = {Cambridge, Mass.}, - Author = {Carl A. Gunter}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Publisher = {MIT Press}, - Title = {{Semantics of Programming Languages}}, - Year = {1992}} - -@inproceedings{DBLP:conf/stacs/Jurdzinski00, - Author = {Marcin Jurdzi{\'n}ski}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Crossref = {DBLP:conf/stacs/2000}, - Ee = {http://link.springer.de/link/service/series/0558/bibs/1770/17700290.htm}, - Pages = {290-301}, - Title = {Small Progress Measures for Solving Parity Games}, - Year = {2000}} - -@proceedings{DBLP:conf/stacs/2000, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Editor = {Horst Reichel and Sophie Tison}, - Isbn = {3-540-67141-2}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings}, - Volume = {1770}, - Year = {2000}} - -@inproceedings{BroWal84, - Address = {Tokio, Japan}, - Author = {D.R. Brough and Adrian Walker}, - Booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS'84}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {Institut for New Generation Computer Technology (ICOT)}, - Month = nov, - Pages = {149-156}, - Publisher = {OHMSHA Ltd. Tokyo and North-Holland,}, - Title = {Some {P}ractical {P}roperties of {L}ogic {P}rogramming {I}nterpreters}, - Year = 1984} - -@article{JacLan92, - Author = {Dean Jacobs and Anno Langen}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Pages = {291-314}, - Title = {{Static Analysis of Logic Programs for Independent {AND} Parallelism}}, - Volume = 13, - Year = {1992}} - -@inproceedings{BarVilCle92, - Author = {Barth\'elemy, F. P. and Villemonte de la Clergerie, E.}, - Booktitle = {Proc. of PLILP'92}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {Springer--Verlag}, - Pages = {100--114}, - Title = {Subsumption--oriented {P}ush--{D}own {A}utomata}, - Year = 1992} - -@inproceedings{Nil90, - Author = {Ulf Nilsson}, - Booktitle = {International Workshop on Programming Language Implementation and Logic Programming (PLILP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {293-306}, - Publisher = {LNCS 456, Springer Verlag}, - Title = {Systematic {S}emantic {A}pproximations of {L}ogic {P}rograms}, - Year = {1990}} - -@article{Bir80, - Author = {R.S. Bird}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {ACM Computing Surveys}, - Number = 4, - Title = {Tabulation {T}echniques for {R}ecursive {P}rograms}, - Volume = 12, - Year = 1980} - -@inproceedings{JouPar90, - Author = {M. Jourdan and D. Parigot}, - Booktitle = {Proc. of the European Symposium on Programming'90}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {N. Jones}, - Location = {Copenhagen}, - Pages = {240 - 255}, - Publisher = {Lec. Notes in Comp. Sci. 432, Springer Verlag}, - Title = {Techniques to improve grammar flow analysis}, - Year = 1990} - -@inproceedings{Astree05, - Author = {P{.}~Cousot and R{.}~Cousot and J{.}~Feret and L{.}~Mauborgne and A{.}~Min\'e and D{.}~Monniaux and X{.}~Rival}, - Booktitle = {European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {21--30}, - Publisher = {Springer}, - Series = {LNCS}, - Title = {The {ASTR\'EE} {A}nalyser}, - Volume = {3444}, - Year = 2005} - -@article{Zwick96, - Author = {Uri Zwick and Mike Paterson}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Theoretical Computer Science (TCS)}, - Number = {1\&2}, - Pages = {343-359}, - Title = {{The Complexity of Mean Payoff Games on Graphs}}, - Volume = {158}, - Year = {1996}} - -@inproceedings{HenDegChaMic93a, - Author = {Pascal Van Hentenryck and Olivier Degimbe and Baudouin Le Charlier and Laurent Michel}, - Booktitle = {Proceedings of Static Analysis, 3rd International Workshop (WSA)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {1-14}, - Publisher = {LNCS 724, Springer Verlag}, - Title = {{The Impact of Granularity in Abstract Interpretation of Prolog}}, - Year = {1993}} - -@inproceedings{KnoSte92, - Author = {Jens Knoop and Bernhard Steffen}, - Booktitle = {4th International Conference on Compiler Construction}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {125-140}, - Publisher = {LNCS 641, Springer Verlag}, - Title = {{The Interprocedural Coincidence Theorem}}, - Year = {1992}} - -@article{Lan63, - Author = {P. Landin}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Computer Journal}, - Number = 4, - Pages = {158-165}, - Title = {The {M}echanical {E}valuation of {E}xpressions}, - Volume = 6, - Year = 1963} - -@phdthesis{Eve63, - Address = {Cambridge, Mass.}, - Author = {J. Evey}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - School = {Harvard University}, - Title = {{The Theory and Application of Pushdown Store Machines}}, - Year = {1963}} - -@phdthesis{Puri95, - Author = {Anuj Puri}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - School = {University of California, Berkeley}, - Title = {{Theory of Hybrid and Discrete Systems}}, - Year = {1995}} - -@inproceedings{Nil88, - Author = {Ulf Nilsson}, - Booktitle = {International Workshop on Programming Language Implementation and Logic Programming (PLILP)}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Pages = {68-82}, - Publisher = {LNCS 348, Springer Verlag}, - Title = {Towards a {F}ramework for the {A}bstract {I}nterpretation of {L}ogic {P}rograms}, - Year = {1988}} - -@article{KnoRueSte96, - Address = {London (UK)}, - Author = {Jens Knoop and Oliver R\"{u}thing and Bernhard Steffen}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Journal = {Journal of Programming Languages}, - Pages = {211-246}, - Publisher = {Chapman \& Hall}, - Series = {4}, - Title = {{Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses}}, - Volume = {4}, - Year = {1996}} - -@incollection{ShaPnu81, - Author = {Micha Sharir and Amir Pnueli}, - Booktitle = {Program Flow Analysis: Theory and Applications}, - Chapter = {7}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Editor = {Steven S. Muchnick and Neil D. Jones}, - Pages = {189-234}, - Publisher = {Prentice-Hall, Inc., Englewood Cliffs, New Jersey}, - Title = {{Two Approaches to Interprocedural Data Flow Analysis}}, - Year = {1981}} - -@book{WilMau92, - Author = {R. Wilhelm and D. Maurer}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Publisher = {Springer-Verlag}, - Title = {{\"U}bersetzerbau -- Theorie, Konstruktion, Generierung}, - Year = 1992} - -@misc{Rep97, - Author = {Thomas W. Reps}, - Date-Added = {2007-09-14 17:15:54 +0200}, - Date-Modified = {2007-09-14 17:15:55 +0200}, - Howpublished = {{\em Personal Communication}}, - Month = {February}, - Year = {1997}} - -@article{FecSei99, - Author = {C.\ Fecht and H.\ Seidl}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Science of Computer Programming (SCP)}, - Number = {2}, - Pages = {137-161}, - Title = {{A Faster Solver for General Systems of Equations}}, - Volume = {35}, - Year = {1999}} - -@article{BalRam87, - Author = {I.\ Balbin and K.\ Ramamohanarao}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Number = {3}, - Pages = {259-262}, - Title = {{A Generalization of the Differential Approach to Recursive Query Evaluation}}, - Volume = {4}, - Year = {1987}} - -@inproceedings{Sei96a, - Author = {Helmut Seidl}, - Booktitle = {IEEE Conf. on Logic in Computer Science (LICS)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {128--137}, - Title = {{A Modal $\mu$ Calculus for Durational Transition Systems}}, - Year = {1996}} - -@techreport{Sei95, - Author = {H.\ Seidl}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Institution = {University of Trier}, - Number = {95-08}, - Title = {{A Modal $\mu$ Calculus for Durational Transition Systems}}, - Year = {1995}} - -@inproceedings{Blanchet03, - Author = {B. Blanchet and P. Cousot and R. Cousot and J. Feret and C. Mauborgue and D. Mormiaux and X. Rival}, - Booktitle = {Int. ACM Conf. on Programming Language Design and Implementation (PLDI)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {196-207}, - Title = {{A Static Analyzer for Large Safety-Critical Software}}, - Year = {2003}} - -@inproceedings{PerSei02, - Author = {T.\ Perst and H.\ Seidl}, - Booktitle = {Extreme Markup Languages}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Title = {{A Type-safe Macro System for XML}}, - Year = {2002}} - -@phdthesis{Fec97, - Address = {Saarbr{\"u}cken}, - Author = {C.\ Fecht}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - School = {Universit{\"a}t des Saarlandes}, - Title = {{Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung}}, - Year = {1997}} - -@article{Karr76, - Author = {M.~Karr}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Acta Informatica}, - Pages = {133-151}, - Title = {{Affine Relationships Among Variables of a Program}}, - Volume = {6}, - Year = {1976}} - -@book{Lang93, - Author = {S.\ Lang}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Publisher = {Pearson Education, Inc.}, - Title = {{Algebra, Third Edition}}, - Year = {1993}} - -@phdthesis{Sto00, - Author = {A.\ Storjohann}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - School = {ETH Z{\"u}rich, Diss. ETH No. 13922}, - Title = {{Algorithms for Matrix Canonical Forms}}, - Year = {2000}} - -@inproceedings{SimonKing02, - Author = {A. Simon and A. King}, - Booktitle = {Algebraic Methodology and Software Technology, 9th Int. Conf. (AMAST)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {365-379}, - Publisher = {LNCS 2422, Springer Verlag}, - Title = {{Analyzing String Buffers in C}}, - Year = {2002}} - -@article{HafMcC91, - Author = {J.L.\ Hafner and K.S.\ McCurley}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {SIAM J. of Computing}, - Number = {6}, - Pages = {1068--1083}, - Title = {{Asymptotically Fast Triangularization of Matrices over Rings}}, - Volume = {20}, - Year = {1991}} - -@inproceedings{NieNieSei02, - Author = {F.\ Nielson and H. Riis Nielson and H.\ Seidl}, - Booktitle = {European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {243-261}, - Publisher = {LNCS 2305, Springer-Verlag}, - Title = {{Automatic Complexity Analysis}}, - Year = {2002}} - -@phdthesis{Ram93, - Author = {G.\ Ramalingam}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - School = {Computer Sciences Department, University of Wisconsin, Madison}, - Title = {Bounded Incremental Computation}, - Year = 1993} - -@inproceedings{Sagiv01, - Author = {N. Dor and M. Rodeh and M. Sagiv}, - Booktitle = {8th Int. Static Analysis Symposium (SAS'01)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {194-212}, - Publisher = {LNCS 2126, Springer Verlag}, - Title = {{Cleanness Checking of String Manipulations in C Programs via Integer Analysis}}, - Year = 2001} - -@book{ZarSam58, - Author = {O. Zariski and P. Samuel}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Publisher = {Nostrand, Princeton, NJ}, - Title = {{Commutative Algebra, Vol. I}}, - Year = {1958}} - -@article{AptPlo86, - Author = {K.R.\ Apt and G.D.\ Plotkin}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {J.\ of the ACM (JACM)}, - Number = {4}, - Pages = {724--767}, - Title = {{Computable Non-Determinism and Random Assingment}}, - Volume = {33}, - Year = {1986}} - -@article{SeiSte00, - Author = {H.\ Seidl and B.\ Steffen}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Nordic Journal of Computing (NJC)}, - Number = {4}, - Pages = {375--400}, - Title = {{Constraint-Based Inter-Procedural Analysis of Parallel Programs}}, - Volume = {7}, - Year = {2000}} - -@inproceedings{SeiSo97, - Author = {H.\ Seidl and M.\ H.\ S{\o}rensen}, - Booktitle = {ACM Symposium on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {400-413}, - Title = {{Constraints to Stop Higher-Order Deforestation}}, - Year = {1997}} - -@inproceedings{NieSei01, - Author = {F.\ Nielson and H.\ Seidl}, - Booktitle = {European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {252-268}, - Publisher = {LNCS 2028, Springer-Verlag}, - Title = {{Control-Flow Analysis in Cubic Time}}, - Year = {2001}} - -@inproceedings{NieNieSei02a, - Author = {F.\ Nielson and H. Riis Nielson and H.\ Seidl}, - Booktitle = {Electronic Notes in Theoretical Computer Science (ENTCS)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Publisher = {Elsevier Science Publishers}, - Title = {{Cryptographic Analysis in Cubic Time}}, - Volume = {62}, - Year = {2002}} - -@inproceedings{HorRepSag95c, - Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv}, - Booktitle = {3rd ACM SIGSOFT Symp.\ on the Foundations of Software Engineering (FSE)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Month = oct, - Pages = {104-115}, - Title = {{Demand Interprocedural Dataflow Analysis}}, - Year = {1995}} - -@article{Sei96, - Author = {H.\ Seidl}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Information Processing Letters (IPL)}, - Number = {6}, - Pages = {302-208}, - Title = {{Fast and simple Nested Fixpoints}}, - Volume = {59}, - Year = {1996}} - -@article{Paige82, - Author = {B.~Paige and S.~Koenig}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {ACM Trans.\ Prog.\ Lang.\ and Syst.}, - Number = {3}, - Pages = {402-454}, - Title = {{Finite Differencing of Computable Expressions}}, - Volume = {4}, - Year = {1982}} - -@article{Cou83, - Author = {Bruno Courcelle}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Theoretical Computer Science (TCS)}, - Pages = {95-169}, - Title = {{Fundamental Properties of Infinite Trees}}, - Volume = 25, - Year = 1983} - -@inproceedings{Fec95, - Author = {C.\ Fecht}, - Booktitle = {2nd Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {418-419}, - Publisher = {LNCS 983}, - Title = {{GENA - A Tool for Generating Prolog Analyzers from Specifications}}, - Year = {1995}} - -@article{Sei94, - Author = {H.\ Seidl}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Information Processing Letters (IPL)}, - Pages = {57--60}, - Title = {{Haskell Overloading is DEXPTIME Complete}}, - Volume = {54}, - Year = {1994}} - -@article{SeiFec00, - Author = {H.\ Seidl and C.\ Fecht}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Journal = {Journal of Logic Programming (JLP)}, - Number = {2}, - Pages = {123--156}, - Title = {{Interprocedural Analyses: A Comparison}}, - Volume = {43}, - Year = {2000}} - -@inproceedings{NeuSei98, - Author = {A.\ Neumann and H.\ Seidl}, - Booktitle = {Foundations of Software Technology and Theory of Computing (FSTTCS)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {134--145}, - Publisher = {LNCS 1530, Springer-Verlag}, - Title = {{Locating Tree Patterns in Forests}}, - Year = {1998}} - -@inproceedings{NieNieSei02b, - Author = {F.\ Nielson and H. Riis Nielson and H.\ Seidl}, - Booktitle = {9th Int. Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:27 +0200}, - Pages = {20-35}, - Publisher = {LNCS 2477, Springer-Verlag}, - Title = {{Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi}}, - Year = {2002}} - -@inproceedings{Kal92, - Author = {E. Kaltofen}, - Booktitle = {Int. ACM Symp. on Symbolic and Algebraic Computation (ISSAC)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {342-349}, - Title = {{On Computing Determinants of Matrices without Division}}, - Year = {1992}} - -@inproceedings{SeiNeu99, - Author = {H.\ Seidl and A.\ Neumann}, - Booktitle = {8th Computer Science Logic (CSL)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {484--498}, - Publisher = {LNCS 1683, Springer-Verlag}, - Title = {{On Guarding Nested Fixpoints}}, - Year = {1999}} - -@article{BakMeyZuc84, - Author = {J.W.\ de Bakker and J.-J.Ch.~Meyer and J.I.\ Zucker}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Journal = {Theoretical Computer Scince (TCS)}, - Note = {(Corrigendum: TCS 29: 229-230,1984)}, - Pages = {53--82}, - Title = {{On Infinite Computations in Denotational Semantics}}, - Volume = {26}, - Year = {1983}} - -@inproceedings{MueSei01, - Author = {M.~M\"{u}ller-Olm and H.~Seidl}, - Booktitle = {33th ACM Symp.\ on Theory of Computing (STOC)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {647-656}, - Publisher = {ACM Press}, - Title = {{On Optimal Slicing of Parallel Programs}}, - Year = {2001}} - -@techreport{SeiNor02, - Author = {H.\ Seidl and A.V.\ Nori}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Institution = {Dept. of Computer Science and Automation, IISc, Bangalore, India}, - Note = {To appear}, - Title = {{On the Expressiveness of Set Operators}}, - Year = {2002}} - -@inproceedings{MueSei02, - Author = {M.~M\"{u}ller-Olm and H.~Seidl}, - Booktitle = {9th Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {4-19}, - Publisher = {LNCS 2477, Springer-Verlag}, - Title = {{Polynomial Constants are Decidable}}, - Year = {2002}} - -@inproceedings{HorRepSag95a, - Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv}, - Booktitle = {22nd ACM Symp.\ on Principles of Programming Languages ({POPL})}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {49-61}, - Title = {{Precise Interprocedural Dataflow Analysis via Graph Reachability}}, - Year = {1995}} - -@inproceedings{HorRepSag95b, - Author = {Susan Horwitz and Thomas W. Reps and Mooly Sagiv}, - Booktitle = {6th Int.\ Conf.\ on Theory and Practice of Software Development ({TAPSOFT})}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {651-665}, - Publisher = {LNCS 915}, - Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}}, - Year = {1995}} - -@article{HorRepSag96, - Author = {S.\ Horwitz and T.W.\ Reps and M.\ Sagiv}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Journal = {Theoretical Computer Science (TCS)}, - Number = {1\&2}, - Pages = {131-170}, - Title = {{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}}, - Volume = {167}, - Year = {1996}} - -@techreport{Mue02, - Author = {M.\ M{\"u}ller-Olm}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Institution = {University of Trier}, - Number = {08}, - Title = {{Precise Interprocedural Dependence Analysis of Parallel Programs}}, - Year = {2002}} - -@inproceedings{BagHil03, - Author = {R.\ Bagnara and P.M.\ Hill and E.\ Ricci and E.\ Zaffanella}, - Booktitle = {10th Int.\ Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {337--354}, - Publisher = {LNCS 2694, Springer-Verlag}, - Title = {{Precise Widening Operators for Convex Polyhedra}}, - Year = 2003} - -@article{Cai88, - Author = {J.~Cai and B.~Paige}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Journal = {Science of Computer Programming (SCP)}, - Pages = {197-261}, - Title = {{Program Derivation by Fixpoint Computation}}, - Volume = {11}, - Year = {1988}} - -@article{FecSei98, - Author = {C.\ Fecht and H.\ Seidl}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Journal = {Nordic Journal of Computing (NJC)}, - Number = {4}, - Pages = {304-329}, - Title = {{Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems}}, - Volume = {5}, - Year = {1998}} - -@article{CouCou91, - Author = {P.\ Cousot and R.\ Cousot}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Journal = {Actes JTASPEFL'91, FR. BIGRE}, - Pages = {33--36}, - Title = {{Relational Analysis of Higher-order Functions}}, - Volume = {74}, - Year = {1991}} - -@article{Gra89, - Author = {P.\ Granger}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Journal = {Int. J. of Computer Math.}, - Pages = {165--190}, - Title = {{Static Analysis of Arithmetical Congruences}}, - Year = {1989}} - -@inproceedings{Gra91, - Author = {P.\ Granger}, - Booktitle = {Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {169--192}, - Publisher = {LNCS 493, Springer-Verlag}, - Title = {{Static Analysis of Linear Congruence Equalities among Variables of a Program}}, - Year = {1991}} - -@techreport{NieSei01a, - Author = {F.\ Nielson and H.\ Seidl}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Institution = {University of Trier, Germany}, - Number = {01-12}, - Title = {{Succinct Solvers}}, - Year = {2001}} - -@inproceedings{CouCou79, - Author = {P.\ Cousot and R.\ Cousot}, - Booktitle = {6th ACM Symp.\ on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {238--352}, - Title = {{Systematic Design of Program Analysis Frameworks}}, - Year = 1979} - -@inproceedings{MueRue01, - Author = {Markus M\"{u}ller-Olm and Oliver R\"{u}thing}, - Booktitle = {10th European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {190-205}, - Publisher = {LNCS 2028, Springer-Verlag}, - Title = {{The Complexity of Constant Propagation}}, - Year = {2001}} - -@inproceedings{SimonKing02a, - Author = {A. Simon and A. King and J.M. Howe}, - Booktitle = {Logic Based Program Synthesis and Tranformation, 12th Int. Workshop (LOPSTR)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {71-89}, - Publisher = {LNCS 2664, Springer Verlag}, - Title = {{Two Variables per Inequalities as an Abstract Domain}}, - Year = {2002}} - -@inproceedings{Hym05, - Author = {C. Hymans}, - Booktitle = {Verification, Model-Checking and Abstract Interpretation: 6th Int. Conf. (VMCAI)}, - Date-Added = {2007-09-14 17:07:27 +0200}, - Date-Modified = {2007-09-14 17:07:28 +0200}, - Pages = {330-345}, - Publisher = {LNCS 3385, Springer-Verlag}, - Title = {{Verification of Error Correcting Code by Abstract Interpretation}}, - Year = {2005}} - -@techreport{storjohann96TR255, - Author = {Arne Storjohann}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Institution = {ETH Z{\"u}rich, Department of Computer Science}, - Number = 255, - Title = {A Fast, Practical, and Deterministic Algorithm for Triangularizing Integer Matrices}, - Year = 1996} - -@inproceedings{MOSeidlICALP04, - Author = {Markus M\"uller-Olm and Helmut Seidl}, - Booktitle = {31st Int. Coll. on Automata, Languages and Programming (ICALP)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Pages = {1016-1028}, - Publisher = {Springer Verlag, LNCS 3142}, - Title = {{A Note on {K}arr's Algorithm}}, - Year = {2004}} - -@phdthesis{LerouxPHD, - Author = {J{\'e}r{\^o}me Leroux}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - School = {Ecole Normale Sup{\'e}rieure de Cachan}, - Title = {Algorithmique de la V{\'e}rification des Syst{\`e}mes {\`a} Compteurs: Approximation et Acc{\'e}l{\'e}ration}, - Year = 2003} - -@book{Geddes92, - Author = {Keith O. Geddes and Stephen R. Czapor and George Labahn}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Publisher = {Kluwer}, - Title = {Algorithms for Computer Algebra}, - Year = 1992} - -@inproceedings{MOSeidlESOP05, - Author = {Markus M\"uller-Olm and Helmut Seidl}, - Booktitle = {European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Pages = {46-60}, - Publisher = {Springer Verlag, LNCS 3444}, - Title = {{Analysis of Modular Arithmetic}}, - Year = {2005}} - -@inproceedings{RepsCC04, - Author = {Gogul Balakrishnan and Thomas W. Reps}, - Booktitle = {Compiler Construction, 13th Int. Conf. (CC)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Pages = {5--23}, - Publisher = {LNCS 2985. Springer-Verlag}, - Title = {{Analyzing Memory Accesses in x86 Executables}}, - Year = {2004}} - -@article{Bjoerner97, - Author = {Nikolaj Bj{\o}rner and Anca Browne and Zohar Manna}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Journal = {Theoretical Computer Science}, - Number = 1, - Pages = {49-87-}, - Title = {Automatic Generation of Invariants and Intermediate Assertions}, - Volume = 173, - Year = 1997} - -@book{Papadimitriou94, - Author = {Christos H. Papadimitriou}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Publisher = {Addison-Wesley}, - Title = {Computational Complexity}, - Year = 1994} - -@book{Davenport88, - Author = {J. H. Davenport and Y. Siret and E. Tournier}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Publisher = {Academic Press}, - Title = {Computer Algebra: Systems and Algorithms for Algebraic Computation}, - Year = 1988} - -@book{Garey79, - Author = {Michael R. Garey and David S. Johnson}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Publisher = {W. H. Freeman and Company}, - Title = {Computers and Intractability: A Guide to the Theory of NP-Completeness}, - Year = 1978} - -@techreport{MOSeidl03aTR, - Author = {Markus M\"uller-Olm and Helmut Seidl}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Institution = {FB4-Mathematik/Informatik of Trier University}, - Month = {January}, - Title = {Computing Interprocedurally Valid Relations in Affine Programs}, - Year = 2003} - -@unpublished{MueSei04submit, - Author = {Markus M\"uller-Olm and Helmut Seidl}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Note = {accepted for publication in Information Processing Letters (IPL)}, - Title = {{Computing Polynomial Program Invariants}}, - Year = 2004} - -@article{MOSeidlIPL04, - Author = {Markus M{\"u}ller-Olm and Helmut Seidl}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Journal = {Information Processing Letters (IPL)}, - Number = {5}, - Pages = {233-244}, - Title = {{Computing Polynomial Program Invariants}}, - Volume = {91}, - Year = {2004}} - -@article{Cousot97a, - Author = {P.~Cousot}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Journal = {Electronic Notes in Theoretical Computer Science}, - Note = {\small URL: \texttt{www.elsevier.nl/locate/entcs/volume6.html}}, - Title = {{Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation}}, - Volume = 6, - Year = 1997} - -@article{Apt86a, - Author = {K.~R.~Apt and G.~D.~Plotkin}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:38 +0200}, - Journal = {Journal of the {ACM}}, - Number = 4, - Pages = {724--767}, - Title = {{Countable Nondeterminism and Random Assignment}}, - Volume = 33, - Year = 1986} - -@book{FiLeBl88, - Author = {C.N. Fischer and R.J. LeBlanc}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Publisher = {Benjamin/Cummings Publishing Co., Inc., Menlo Park, CA}, - Title = {{Crafting a Compiler}}, - Year = {1988}} - -@inproceedings{Gulwani03a, - Author = {S.\ Gulwani and G.C.\ Necula}, - Booktitle = {30th ACM Symp. on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {74--84}, - Title = {{Discovering Affine Equalities Using Random Interpretation}}, - Year = 2003} - -@inproceedings{Gulwani03aLangerBooktitle, - Author = {S.\ Gulwani and G.C.\ Necula}, - Booktitle = {30th Ann. ACM Symp. on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {74--84}, - Title = {{Discovering Affine Equalities Using Random Interpretation}}, - Year = 2003} - -@book{Hecht77, - Author = {Matthew S. Hecht}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Publisher = {Elsevier North-Holland}, - Title = {Flow analysis of computer programs}, - Year = 1977} - -@article{MOSeidlVene03, - Author = {Helmut Seidl and Varmo Vene and Markus M{\"u}ller-Olm}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Journal = {Proc. of Estonian Academy of Sciences: Phys., Math.}, - Number = {4}, - Pages = {413--436}, - Title = {{Global Invariants for Analysing Multi-Threaded Applications}}, - Volume = {52}, - Year = {2003}} - -@techreport{MOSeidlSteffenTR790, - Author = {Markus M{\"u}ller-Olm and Helmut Seidl and Bernhard Steffen}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Institution = {Fachbereich Informatik, Universit{\"a}t Dortmund}, - Number = {790}, - Title = {{Interprocedural Analysis for Free}}, - Year = {2004}} - -@inproceedings{MOSeidlSteffenESOP05, - Author = {Markus M\"uller-Olm and Helmut Seidl and Bernhard Steffen}, - Booktitle = {European Symposium on Programming (ESOP)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {31-45}, - Publisher = {Springer Verlag, LNCS 3444}, - Title = {{Interprocedural Analysis of Herbrand Equalities}}, - Year = {2005}} - -@techreport{MOSeidlTR789, - Author = {Markus M{\"u}ller-Olm and Helmut Seidl}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Institution = {Fachbereich Informatik, Universit{\"a}t Dortmund}, - Number = {789}, - Title = {{Interprocedural Analysis of Modular Arithmetic}}, - Year = {2004}} - -@techreport{Kam75a, - Address = {Princeton, NJ}, - Author = {J. B. Kam and Jeffrey D. Ullman}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Institution = {Department of Electrical Engineering, Princeton University}, - Number = 169, - Title = {Monotone Data Flow Analysis Frameworks}, - Year = 1975} - -@inproceedings{Stef87-C, - Author = {Bernhard Steffen}, - Booktitle = {Proc. 2nd International Joint Conference on Theory and Practice of Software Development (TAPSOFT'87)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {52--68}, - Publisher = {Springer Verlag}, - Series = {LNCS 249}, - Title = {{Optimal Run Time Optimization---Proved by a New Look at Abstract Interpretations}}, - Year = {1987}} - -@misc{CousotCommunication, - Author = {Patrick Cousot}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Title = {{Personal Communication}}} - -@book{Winkler96, - Author = {F. Winkler}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Publisher = {Springer-Verlag}, - Title = {Polynomial Algorithms}, - Year = 1996} - -@inproceedings{Bensalem96a, - Author = {Saddek Bensalem and Yassine Lakhnech and Hassen Saidi}, - Booktitle = {8th Int. Conf. on Computer Aided Verification (CAV)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Powerful Techniques for the Automatic Generation of Invariants}, - Volume = 1102, - Year = 1996} - -@inproceedings{MOSeidlPOPL04accept, - Author = {Markus M\"uller-Olm and Helmut Seidl}, - Booktitle = {31st {ACM } Symp.\ on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {330-341}, - Title = {Precise Interprocedural Analysis through Linear Algebra}, - Year = {2004}} - -@inproceedings{MOSeidlPOPL04, - Author = {Markus M\"uller-Olm and Helmut Seidl}, - Booktitle = {31st {ACM } Symp.\ on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {330--341}, - Title = {{Precise Interprocedural Analysis through Linear Algebra}}, - Year = 2004} - -@inproceedings{MOSeidlPOPL04LangerBooktitle, - Author = {Markus M\"uller-Olm and Helmut Seidl}, - Booktitle = {31st {ACM } Symp.\ on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {330--341}, - Title = {{Precise Interprocedural Analysis through Linear Algebra}}, - Year = 2004} - -@inproceedings{Gulwani05, - Author = {S.\ Gulwani and G.C.\ Necula}, - Booktitle = {32th Ann. ACM Symp. on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {324--337}, - Title = {{Precise Interprocedural Analysis Using Random Interpretation}}, - Year = 2005} - -@inproceedings{reps95:_precis, - Author = {T.\ Reps and S.\ Horwitz and M.\ Sagiv}, - Booktitle = {22nd ACM Symp.\ on Principles of Programming Languages (POPL)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {49--61}, - Publisher = {ACM Press}, - Title = {{Precise Interprocedural Dataflow Analysis via Graph Reachability}}, - Year = 1995} - -@book{Duffy91, - Author = {David Duffy}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Publisher = {Wiley}, - Title = {Principles of Automated Theorem Proving}, - Year = 1991} - -@book{Muchnick81, - Address = {Engelwood Cliffs, New Jersey}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Editor = {S. S. Muchnick and N. D. Jones}, - Publisher = {Prentice Hall}, - Title = {{Program Flow Analysis: Theory and Applications}}, - Year = 1981} - -@inproceedings{Reif77a, - Author = {John R. Reif and Harry R. Lewis}, - Booktitle = {4th~{ACM} Symp. on Principles of Programming Languages~{POPL'77}}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {104--118}, - Title = {Symbolic Evaluation and the Global Value Graph}, - Year = 1977} - -@unpublished{MORuethingSeidlFSTTCS04, - Author = {Markus M{\"u}ller-Olm and Oliver R\"uthing and Helmut Seidl}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Note = {Technical Report 788, Fachbereich Informatik, Universit{\"a}t Dortmund}, - Title = {{Testing Herbrand Equalities --- and Beyond}}, - Year = {2004}} - -@inproceedings{KnSt92b-C, - Author = {J.~Knoop and B.~Steffen}, - Booktitle = {Compiler Construction (CC)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {125--140}, - Publisher = {LNCS 541, Springer-Verlag}, - Title = {{The Interprocedural Coincidence Theorem}}, - Year = {1992}} - -@book{gosling96:_java_languag_specif, - Author = {James Gosling and Bill Joy and Guy Steele}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Publisher = {Addison-Wesley}, - Title = {The Java Language Specification}, - Year = 1996} - -@techreport{MarchandBorgne99a, - Author = {Herv\'e Marchand and Michel le Borgne}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Institution = {INRIA Rennes}, - Month = {October}, - Number = 3790, - Title = {The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods}, - Year = 1999} - -@misc{SP81, - Author = {M.~Sharir and A.~Pnueli}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Howpublished = {In \cite{Muchnick81}, chapter~7, pages 189--233}, - Title = {{Two Approaches to Interprocedural Data Flow Analysis}}} - -@inproceedings{Gunnarsson96b, - Author = {Johan Gunnarsson and Jonas Plantin and Roger Germundsson}, - Booktitle = {Proc. of the IEE WODES'96}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Title = {Verification of a Large Discrete System Using Algebraic Methods}, - Year = 1996} - -@inproceedings{RepsSAS03, - Author = {T.~ Reps and S.~ Schwoon and S.~ Jha}, - Booktitle = {Int. Static Analysis Symposium (SAS)}, - Date-Added = {2007-09-14 16:59:38 +0200}, - Date-Modified = {2007-09-14 16:59:39 +0200}, - Pages = {189--213}, - Publisher = {LNCS 2694, Springer-Verlag}, - Title = {{Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis}}, - Year = 2003} - -@article{DBLP:journals/ipl/Jurdzinski98, - Author = {Marcin Jurdzinski}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Ee = {http://dx.doi.org/10.1016/S0020-0190(98)00150-1}, - Journal = {Inf. Process. Lett.}, - Number = {3}, - Pages = {119-124}, - Title = {Deciding the Winner in Parity Games is in UP $\cap$ co-Up}, - Volume = {68}, - Year = {1998}} - -@book{DBLP:books/mg/CormenLRS01, - Author = {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Date-Modified = {2008-11-05 11:09:15 +0100}, - Isbn = {0-262-03293-7, 0-07-013151-1}, - Publisher = {The MIT Press and McGraw-Hill Book Company}, - Title = {Introduction to Algorithms, Second Edition}, - Year = {2001}} - -@inproceedings{DBLP:conf/csl/GawlitzaS07, - Author = {Thomas Gawlitza and Helmut Seidl}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CSL}, - Crossref = {DBLP:conf/csl/2007}, - Ee = {http://dx.doi.org/10.1007/978-3-540-74915-8_6}, - Pages = {23-40}, - Title = {Precise Relational Invariants Through Strategy Iteration}, - Year = {2007}} - -@proceedings{DBLP:conf/csl/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {CSL}, - Editor = {Jacques Duparc and Thomas A. Henzinger}, - Isbn = {978-3-540-74914-1}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings}, - Volume = {4646}, - Year = {2007}} - -@inproceedings{DBLP:conf/eef/Yovine96, - Author = {Sergio Yovine}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {European Educational Forum: School on Embedded Systems}, - Crossref = {DBLP:conf/eef/1996}, - Pages = {114-152}, - Title = {Model Checking Timed Automata}, - Year = {1996}} - -@proceedings{DBLP:conf/eef/1996, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {School on Embedded Systems}, - Editor = {Grzegorz Rozenberg and Frits W. Vaandrager}, - Isbn = {3-540-65193-4}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996}, - Volume = {1494}, - Year = {1998}} - -@inproceedings{DBLP:conf/rtss/LarsenLPY97, - Author = {Kim Guldstrand Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {IEEE Real-Time Systems Symposium}, - Crossref = {DBLP:conf/rtss/1997}, - Ee = {http://computer.org/proceedings/rtss/8268/82680014abs.htm}, - Pages = {14-24}, - Title = {Efficient verification of real-time systems: compact data structure and state-space reduction}, - Year = {1997}} - -@proceedings{DBLP:conf/rtss/1997, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {IEEE Real-Time Systems Symposium}, - Publisher = {IEEE Computer Society}, - Title = {Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA}, - Year = {1997}} - -@inproceedings{DBLP:conf/popl/Kildall73, - Author = {Gary A. Kildall}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {POPL}, - Pages = {194-206}, - Title = {A Unified Approach to Global Program Optimization}, - Year = {1973}} - -@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05, - Author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {VMCAI}, - Crossref = {DBLP:conf/vmcai/2005}, - Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3385{\&}spage=25}, - Pages = {25-41}, - Title = {Scalable Analysis of Linear Systems Using Mathematical Programming}, - Year = {2005}} - -@proceedings{DBLP:conf/vmcai/2005, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {VMCAI}, - Editor = {Radhia Cousot}, - Isbn = {3-540-24297-X}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings}, - Volume = {3385}, - Year = {2005}} - -@inproceedings{DBLP:conf/popl/CousotC77, - Author = {Patrick Cousot and Radhia Cousot}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {POPL}, - Date-Modified = {2008-12-17 09:43:47 +0100}, - Pages = {238-252}, - Title = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints}, - Year = {1977}} - -@proceedings{DBLP:conf/tacas/2004, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TACAS}, - Editor = {Kurt Jensen and Andreas Podelski}, - Isbn = {3-540-21299-X}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, - Volume = {2988}, - Year = {2004}} - -@proceedings{DBLP:conf/stoc/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STOC}, - Editor = {David S. Johnson and Uriel Feige}, - Isbn = {978-1-59593-631-8}, - Publisher = {ACM}, - Title = {Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007}, - Year = {2007}} - -@inproceedings{DBLP:conf/stacs/EsparzaKL08, - Author = {Javier Esparza and Stefan Kiefer and Michael Luttenberger}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Crossref = {DBLP:conf/stacs/2008}, - Ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1351}, - Pages = {289-300}, - Title = {Convergence Thresholds of Newton's Method for Monotone Polynomial Equations}, - Year = {2008}} - -@proceedings{DBLP:conf/stacs/2008, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Editor = {Susanne Albers and Pascal Weil}, - Publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, - Series = {Dagstuhl Seminar Proceedings}, - Title = {STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings}, - Volume = {08001}, - Year = {2008}} - -@inproceedings{DBLP:conf/mfcs/GimbertZ04, - Author = {Hugo Gimbert and Wieslaw Zielonka}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {MFCS}, - Crossref = {DBLP:conf/mfcs/2004}, - Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3153{\&}spage=686}, - Pages = {686-697}, - Title = {When Can You Play Positionally?}, - Year = {2004}} - -@proceedings{DBLP:conf/mfcs/2004, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {MFCS}, - Editor = {Jir\'{\i} Fiala and V{\'a}clav Koubek and Jan Kratochv\'{\i}l}, - Isbn = {3-540-22823-3}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings}, - Volume = {3153}, - Year = {2004}} - -@book{Filar97, - Author = {Jerzy Filar and Koos Vrieze}, - Date-Modified = {2008-07-15 14:53:40 +0200}, - Publisher = {Springer}, - Title = {Competitive Markov Decision Processes}, - Year = {1997}} - -@inproceedings{DBLP:conf/tacas/SuW04, - Author = {Zhendong Su and David Wagner}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TACAS}, - Crossref = {DBLP:conf/tacas/2004}, - Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2988{\&}spage=280}, - Pages = {280-295}, - Title = {A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings}, - Year = {2004}} - -@proceedings{DBLP:conf/tacas/2004, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {TACAS}, - Editor = {Kurt Jensen and Andreas Podelski}, - Isbn = {3-540-21299-X}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, - Volume = {2988}, - Year = {2004}} - -@inproceedings{DBLP:conf/pado/Mine01, - Author = {Antoine Min{\'e}}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {PADO}, - Crossref = {DBLP:conf/pado/2001}, - Ee = {http://link.springer.de/link/service/series/0558/bibs/2053/20530155.htm}, - Pages = {155-172}, - Title = {A New Numerical Abstract Domain Based on Difference-Bound Matrices}, - Year = {2001}} - -@inproceedings{DBLP:conf/wcre/Mine01, - Author = {Antoine Min{\'e}}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {WCRE}, - Ee = {http://computer.org/proceedings/wcre/1303/13030310abs.htm}, - Pages = {310-}, - Title = {The Octagon Abstract Domain}, - Year = {2001}} - -@inproceedings{DBLP:conf/stacs/EtessamiY05, - Author = {Kousha Etessami and Mihalis Yannakakis}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Crossref = {DBLP:conf/stacs/2005}, - Date-Modified = {2008-11-12 10:06:13 +0100}, - Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3404{\&}spage=340}, - Pages = {340-352}, - Title = {Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations}, - Year = {2005}} - -@proceedings{DBLP:conf/stacs/2005, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STACS}, - Editor = {Volker Diekert and Bruno Durand}, - Isbn = {3-540-24998-2}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings}, - Volume = {3404}, - Year = {2005}} - -@inproceedings{DBLP:conf/stoc/KieferLE07, - Author = {Stefan Kiefer and Michael Luttenberger and Javier Esparza}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STOC}, - Crossref = {DBLP:conf/stoc/2007}, - Ee = {http://doi.acm.org/10.1145/1250790.1250822}, - Pages = {217-226}, - Title = {On the convergence of Newton's method for monotone systems of polynomial equations}, - Year = {2007}} - -@proceedings{DBLP:conf/stoc/2007, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {STOC}, - Editor = {David S. Johnson and Uriel Feige}, - Isbn = {978-1-59593-631-8}, - Publisher = {ACM}, - Title = {Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007}, - Year = {2007}} - -@book{OrtegaRheinboldt:book, - Author = {J.M. Ortega and W.C. Rheinboldt}, - Publisher = {Academic Press}, - Title = {Iterative solution of nonlinear equations in several variables}, - Year = {1970}} - -@inproceedings{DBLP:conf/pldi/DorRS03, - Author = {Nurit Dor and Michael Rodeh and Shmuel Sagiv}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {PLDI}, - Crossref = {DBLP:conf/pldi/2003}, - Date-Modified = {2008-09-03 13:57:46 +0200}, - Ee = {http://doi.acm.org/10.1145/781131.781149}, - Keywords = {buffer overrun, static analysis}, - Pages = {155-167}, - Title = {CSSV: towards a realistic tool for statically detecting all buffer overflows in C}, - Year = {2003}} - -@proceedings{DBLP:conf/pldi/2003, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {PLDI}, - Isbn = {1-58113-662-5}, - Keywords = {buffer overrun, static analysis}, - Publisher = {ACM}, - Title = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003}, - Year = {2003}} - -@inproceedings{DBLP:conf/pldi/RuginaR00, - Author = {Radu Rugina and Martin C. Rinard}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {PLDI}, - Ee = {http://doi.acm.org/10.1145/349299.349325}, - Keywords = {buffer overrun, static analysis}, - Pages = {182-195}, - Title = {Symbolic bounds analysis of pointers, array indices, and accessed memory regions}, - Year = {2000}} - -@inproceedings{DBLP:conf/ndss/WagnerFBA00, - Author = {David Wagner and Jeffrey S. Foster and Eric A. Brewer and Alexander Aiken}, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {NDSS}, - Crossref = {DBLP:conf/ndss/2000}, - Ee = {http://www.isoc.org/isoc/conferences/ndss/2000/proceedings/039.pdf}, - Keywords = {buffer overrun, static analysis}, - Title = {A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities}, - Year = {2000}} - -@proceedings{DBLP:conf/ndss/2000, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {NDSS}, - Isbn = {1-891562-07-X, 1-891562-08-8}, - Publisher = {The Internet Society}, - Title = {Proceedings of the Network and Distributed System Security Symposium, NDSS 2000, San Diego, California, USA}, - Year = {2000}} - -@proceedings{DBLP:conf/pado/2001, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {PADO}, - Editor = {Olivier Danvy and Andrzej Filinski}, - Isbn = {3-540-42068-1}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings}, - Volume = {2053}, - Year = {2001}} - -@proceedings{DBLP:conf/atva/2005, - Bibsource = {DBLP, http://dblp.uni-trier.de}, - Booktitle = {ATVA}, - Date-Added = {2009-04-09 14:04:07 +0200}, - Date-Modified = {2009-04-09 14:04:07 +0200}, - Editor = {Doron Peled and Yih-Kuen Tsay}, - Isbn = {3-540-29209-8}, - Publisher = {Springer}, - Series = {Lecture Notes in Computer Science}, - Title = {Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}, - Volume = {3707}, - Year = {2005}} - -@article{DBLP:journals/tecs/WilhelmEEHTWBFHMMPPSS08, - author = {Reinhard Wilhelm and - Jakob Engblom and - Andreas Ermedahl and - Niklas Holsti and - Stephan Thesing and - David B. Whalley and - Guillem Bernat and - Christian Ferdinand and - Reinhold Heckmann and - Tulika Mitra and - Frank Mueller and - Isabelle Puaut and - Peter P. Puschner and - Jan Staschulat and - Per Stenstr{\"o}m}, - title = {The worst-case execution-time problem - overview of methods - and survey of tools}, - journal = {ACM Trans. Embedded Comput. Syst.}, - volume = {7}, - number = {3}, - year = {2008}, - ee = {http://doi.acm.org/10.1145/1347375.1347389}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@inproceedings{DBLP:conf/esop/AdjeGG10, - author = {Assal{\'e} Adj{\'e} and - St{\'e}phane Gaubert and - Eric Goubault}, - title = {Coupling Policy Iteration with Semi-definite Relaxation - to Compute Accurate Numerical Invariants in Static Analysis}, - booktitle = {ESOP}, - year = {2010}, - pages = {23-42}, - ee = {http://dx.doi.org/10.1007/978-3-642-11957-6_3}, - crossref = {DBLP:conf/esop/2010}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@proceedings{DBLP:conf/esop/2010, - editor = {Andrew D. Gordon}, - title = {Programming Languages and Systems, 19th European Symposium - on Programming, ESOP 2010, Held as Part of the Joint European - Conferences on Theory and Practice of Software, ETAPS 2010, - Paphos, Cyprus, March 20-28, 2010. Proceedings}, - booktitle = {ESOP}, - publisher = {Springer}, - series = {Lecture Notes in Computer Science}, - volume = {6012}, - year = {2010}, - isbn = {978-3-642-11956-9}, - ee = {http://dx.doi.org/10.1007/978-3-642-11957-6}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@inproceedings{DBLP:conf/sas/GawlitzaS10, - author = {Thomas Martin Gawlitza and - Helmut Seidl}, - title = {Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones - Precisely}, - booktitle = {SAS}, - year = {2010}, - pages = {271-286}, - ee = {http://dx.doi.org/10.1007/978-3-642-15769-1_17}, - crossref = {DBLP:conf/sas/2010}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@proceedings{DBLP:conf/sas/2010, - editor = {Radhia Cousot and - Matthieu Martel}, - title = {Static Analysis - 17th International Symposium, SAS 2010, - Perpignan, France, September 14-16, 2010. Proceedings}, - booktitle = {SAS}, - publisher = {Springer}, - series = {Lecture Notes in Computer Science}, - volume = {6337}, - year = {2010}, - isbn = {978-3-642-15768-4}, - ee = {http://dx.doi.org/10.1007/978-3-642-15769-1}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@article{DBLP:journals/toplas/GawlitzaS11, - author = {Thomas Martin Gawlitza and - Helmut Seidl}, - title = {Solving systems of rational equations through strategy iteration}, - journal = {ACM Trans. Program. Lang. Syst.}, - volume = {33}, - number = {3}, - year = {2011}, - pages = {11}, - ee = {http://doi.acm.org/10.1145/1961204.1961207}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} diff --git a/tex/presentation/thomas/defs.tex b/tex/presentation/thomas/defs.tex deleted file mode 100644 index 0f1ebfe..0000000 --- a/tex/presentation/thomas/defs.tex +++ /dev/null @@ -1,250 +0,0 @@ -\usepackage{stmaryrd} - -% \usepackage{pala} -\definecolor{yellow}{rgb}{1,1,0.85} -\definecolor{orange}{rgb}{1.0,0.3759,0.0} -\definecolor{orange3}{rgb}{1.0,0.2538,0.1681} -\definecolor{green2}{rgb}{0,0.8125,0} -\definecolor{green3}{rgb}{0,0.55,0} -\definecolor{brown}{rgb}{0.7,0.1,0.1} -\definecolor{pink}{rgb}{0.8,0.0,0.8} -\definecolor{cyan1}{rgb}{0,.90,.90} -\definecolor{cyan3}{rgb}{0,.59,.59} -\definecolor{grey}{rgb}{.7,.7,.7} -% \definecolor{blau}{rgb}{0,.48627,0.78431} -\definecolor{blau}{rgb}{0,.39608,0.74118} -\definecolor{rot}{rgb}{0.79216,.12941,0.24706} -\newcommand\Color[2]{\textcolor{#1}{#2}} -\newcommand\Blue[1]{\Color{blue}{#1}} -\newcommand\Blau[1]{\Color{blau}{#1}} -\newcommand\Red[1]{\Color{red}{#1}} -\newcommand\Rot[1]{\Color{rot}{#1}} -\newcommand\Green[1]{\Color{green3}{#1}} -\newcommand\White[1]{\Color{white}{#1}} -\newcommand\Black[1]{\Color{black}{#1}} -\newcommand\Yellow[1]{\Color{yellow}{#1}} -\newcommand\Orange[1]{\Color{orange3}{#1}} -\newcommand\Brown[1]{\Color{brown}{#1}} -\newcommand\Pink[1]{\Color{pink}{#1}} -\newcommand\Cyan[1]{\Color{cyan3}{#1}} -\newcommand\Cyann[1]{\Color{cyan1}{#1}} -\newcommand\Grey[1]{\Color{grey}{#1}} -% \newcommand\Section[1]{\Color{red}{\section{ #1 }}} -% \newcommand\Subsection[1]{\Color{\red}{\subsection{ #1 }}} -\newcommand\Section[1]{\Red{{\Large\bf #1 }\\[2ex]}} -\newcommand\Subsection[1]{\Red{{\large\bf #1 }\\[2ex]}} -\newcommand\cinput[1]{\begin{center}\input{ #1 }\end{center}} -\newcommand\cpage[2]{\begin{center}\begin{minipage}{ #1 } #2 \end{minipage}\end{center}} -\newcommand\RR{=\!=\!\Rightarrow} -\newcommand\redRR{\Color{red}{$=\!=\!\Rightarrow$}} -\newcommand{\is}{\Blue{::\!{=}}} -\newcommand\Or{\quad\Blue{|}\quad} -\renewcommand\implies{\Rightarrow} -\newcommand{\T}[2]{\Blue{{\cal T}_\rho[\![} #1 \Blue{]\!]}\; #2 } -% \newcommand{\C}[2]{\Blue{{\cal C}_\rho[\![} #1 \Blue{]\!]}\; #2 } -\newcommand{\CC}[2]{\Blue{{\cal C}_\rho^\bullet[\![} #1 \Blue{]\!]}\; #2 } -\newcommand{\gT}{\Green{{\cal T}_{\rho^\sharp}^\sharp}} -\newcommand{\gC}{\Green{{\cal C}_{\rho^\sharp}^\sharp}} -\newcommand{\gCC}{\Green{({\cal C}_{\rho^\sharp}^\bullet)^\sharp}} -\newcommand{\oC}{\Orange{{\cal C}_{\rho^{\sharp\sharp}}^{\sharp\sharp}}} -\newcommand{\oCC}{\Orange{({\cal C}_{\rho^{\sharp\sharp}}^\bullet)^{\sharp\sharp}}} -\newcommand{\size}[1]{\Green{|} #1 \Green{|}} -\newcommand{\Min}{\Green{\sf min}} -\newcommand{\Max}{\Green{\sf max}} -\newcommand{\gplus}{\;\Green{+}\;} -\newcommand{\gdot}{\;\Green{\cdot}\;} -\newcommand{\sem}[1]{\left\llbracket #1 \right\rrbracket} -\newcommand{\asem}[1]{\sem{#1}^\sharp} -\newcommand{\eval}[1]{\sem{ #1 }_{\Red{r}}} -\newcommand{\E}{{\cal E}} -% \newcommand{\U}{{\cal U}} -\newcommand{\M}{{\mathbb M}_k(N)} -\newcommand{\D}{{\mathbb D}_{\Red{r}}} -\newcommand{\MM}{{\mathbb M}_3(N)} -% \newcommand{\Theorem}[1]{\Red{\large \bf Theorem}\\[1ex] #1 \\[2ex]} - - -\newcommand{\N}{{\mathbb N}} -\newcommand{\nz}{\mathrm{I\!N}} -% \newcommand{\F}{\mathrm{I\!F}} -\newcommand{\nf}{{\colon\nz\Total\nz}} -\newcommand{\rz}{\mathrm{I\!R}} -\newcommand{\BB}{\mathbf{I\!B}} -\newcommand{\gz}{\mathrm{Z\!\!Z}} -%\newcommand{\qz}{{\rmfamily Q \hspace{-.6em}\prime\hspace{.4em}}} -%\newcommand{\cz}{{\rmfamily C \hspace{-.6em}\prime\hspace{.4em}}} -\newcommand{\qz}{\mathrm{Q \!\!\!\prime\;}} -\newcommand{\cz}{\mathrm{C \!\!\!\prime\;}} -\newcommand{\minus}{\stackrel{\bullet}{\raisebox{0pt}[.3ex]{$-$}}} -\newcommand{\head}{\mathit{head\/}} -\newcommand{\tail}{\mathit{tail\/}} -\newtheorem{DeFsAtZ}{\hspace{-.3em}}[section] -% \newenvironment{definition}{\begin{DeFsAtZ} -% \Red{Definition}\quad\rmfamily}{\end{DeFsAtZ}} -% \newenvironment{theorem}{\begin{DeFsAtZ} -% \Red{Theorem}\quad\rmfamily}{\end{DeFsAtZ}} -% \newenvironment{corollary}{\begin{DeFsAtZ} -% \Pink{Corollary}\quad\rmfamily}{\end{DeFsAtZ}} -% \newenvironment{lemma}{\begin{DeFsAtZ} -% \Pink{Lemma}\quad\rmfamily}{\end{DeFsAtZ}} -% \newenvironment{example}{\begin{DeFsAtZ} -% \Green{Example}\rmfamily}{\end{DeFsAtZ}} -% \newcommand{\proof}{\noindent\brown{Proof:}} -\newcommand{\blitz}{\mbox{$\begin{array}{cc}\angle\\[-1ex]\swarrow\end{array}$}} -\newcommand{\existsone}{\exists!\hspace{.2em}} -\newcommand{\almev}{\mbox{\raisebox{-.4ex}{$\forall$} - \hspace{-.95em}\raisebox{.3ex}{$^\infty$}}} -\newcommand{\QED}{\mbox{}\hfill$\Box$\vspace{1ex}\linebreak\mbox{}} -\newcommand{\GLA}{\begin{eqnarray*}} -\newcommand{\GLE}{\end{eqnarray*}} -\newcommand{\Def}{{\rmfamily Def}} -\newcommand{\Bild}{{\rmfamily Bild}} -\newcommand{\ABS}[1]{\left|#1\right|} -\newcommand{\OO}[1]{{\cal O}(\Orange{ #1 } )} -\newcommand\va{{\bf a}} -\newcommand\vb{{\bf b}} -\newcommand\vx{{\bf x}} -\newcommand\vy{{\bf y}} -\newcommand\vz{{\bf z}} -\newcommand\vX{{\bf X}} -\newcommand\vY{{\bf Y}} -\newcommand\Main{\sf Main} -\renewcommand{\binom}[2]{(\!\begin{array}{c}#1 \\[-.3ex] - #2 \end{array}\!)} -\newcommand{\unter}[2]{\begin{array}{c}\scriptstyle #1 \\[-.3ex] - \scriptstyle #2 \end{array}} -\newcommand{\stackrelsub}[2]{\raisebox{0pt}[0pt][0pt]{$ - \begin{array}{c}\scriptstyle\mbox{}\\[-1.8ex]#1\\[-1.8ex] - \scriptstyle#2\end{array}$}} -\newcommand{\plusminus}{\begin{array}{c}+\\[-1.5ex]-\end{array}} -\newcommand{\stackrelall}[3]{\raisebox{0pt}[0pt][0pt]{$ - \begin{array}{@{}c@{}}\scriptstyle#1\\[-1.8ex]#2\\[-1.8ex] - \scriptstyle#3\end{array}$}} -\newcommand{\Einschub}[1]{\mbox{}\\\mbox{}\begin{center} - Einschub:\\\bfseries\large #1 - \end{center}\mbox{}\\[1ex]\mbox{}} -\newcommand{\angl}[1]{\langle #1\rangle} -\newcommand{\BNF}[1]{$\langle${\sl #1}\/$\rangle$} -\renewcommand{\sqsubset}{{\setlength{\unitlength}{1pt}\begin{picture}(10,10) -\put(2,0){\line(0,1){5}} -\put(2,0){\line(1,0){5}} -\put(2,5){\line(1,0){5}} -\end{picture}}} -\renewcommand{\sqsupset}{{\setlength{\unitlength}{1pt}\begin{picture}(9,9) -\put(7,0){\line(0,1){5}} -\put(2,0){\line(1,0){5}} -\put(2,5){\line(1,0){5}} -\end{picture}}} -\newcommand{\brl}{[\![} -\newcommand{\brr}{]\!]} - -\newcommand{\Vw}{$\uparrow$} -\newcommand{\id}{\hspace*{1em}} -\newcommand{\idx}[1]{#1} -\newcommand{\idxem}[1]{{\em #1}} -\renewcommand{\H}[1]{${\cal H}${\it #1\/}} - -\newlength\breite -\newenvironment{xlist}{% - \settowidth\breite{--}\begin{list}{--}{% - \setlength\itemsep{0pt}\setlength\topsep{.7ex}\setlength\parsep{.7ex}% - \setlength\itemindent{0mm}\setlength\listparindent{0mm}\setlength\labelsep{1ex}% - \setlength\labelwidth{\breite}% - \addtolength\breite{1ex}\addtolength\breite{.7ex}\setlength\leftmargin{\breite}% - }}{\end{list}} -\newenvironment{ylist}[1]{% - \settowidth\breite{#1}\begin{list}{#1}{% - \setlength\itemsep{0pt}\setlength\topsep{.7ex}\setlength\parsep{.7ex}% - \setlength\itemindent{0mm}\setlength\listparindent{0mm}\setlength\labelsep{1ex}% - \setlength\labelwidth{\breite}% - \addtolength\breite{1ex}\addtolength\breite{.7ex}\setlength\leftmargin{\breite}% - }}{\end{list}} -\setcounter{section}{-1} - -\newcommand{\MBlau}[1]{\Blau{\ {#1}\ }} -\newcommand{\MRot}[1]{\Rot{\ {#1}\ }} - -\newcommand{\neginfty}{{-\infty}} - -\newcommand{\I}{\mathcal{I}} - -\renewcommand{\L}{\mathbf{L}} -\newcommand{\var}[1]{\Rot{\left<#1\right>}} - - -\newcommand\BackgroundPicture[1]{% -\setbeamertemplate{background}{% -\parbox[c][\paperheight]{\paperwidth}{% -\vfill \hfill -\includegraphics[width=1\paperwidth,height=1\paperheight]{#1} -\hfill \vfill -}}} - -\newcommand\NoBackgroundPicture{\setbeamertemplate{background}{}} - -\newcommand{\pos}[2]{\textblockcolor{}\begin{textblock}{30}(#1)#2\end{textblock}} - -\newcommand{\speechbubble}[4]{% - {%\textblockcolor{orange} - %\TPMargin{3pt} - \begin{textblock}{10}(#1) - \begin{tikzpicture}[fill=orange] - \pgfpathmoveto{\pgfpointorigin} - \pgfpathlineto{\pgfpoint{0cm}{#3cm-0.2cm}} - \pgfpathlineto{\pgfpoint{-0.4cm}{#3cm+0.2cm}} - \pgfpathlineto{\pgfpoint{0.2cm}{#3cm}} - \pgfpathlineto{\pgfpoint{#2cm}{#3cm}} - \pgfpathlineto{\pgfpoint{#2cm}{0cm}} - \pgfusepath{fill} - {\color{black} - \pgftext[at=\pgfpoint{#2cm / 2}{#3cm / 2 - 0.15cm},center,base]{#4} - } - \end{tikzpicture} - \end{textblock} - }% -} - -\renewcommand{\emph}[1]{\Rot{\bf #1}} - -\newcommand{\Cite}[1]{\Rot{\cite{#1}}} - -\newcommand{\bvec}[1]{\mathbf{#1}} - -\newcommand{\R}{{\mathbb R}} -\newcommand{\CR}{\overline{\R}} -\newcommand{\Q}{{\mathbb Q}} -\newcommand{\CQ}{\overline{\Q}} - -\newcommand{\omu}{\Orange{\mu}} -\newcommand{\onu}{\Orange{\nu}} - -\newcommand{\handr}[1]{% - \pos{#1}{\includegraphics[width=10mm]{logos/hand_rechts.pdf}}% -} - -\newcommand{\marker}[4]{\pos{#3}{% - \begin{tikzpicture}[fill=#1,opacity=#2]% - \pgfsetstrokeopacity{#2} - \pgfsetstrokecolor{#1} - \pgfsetlinewidth{0pt} - \filldraw (0,0) rectangle (#4); - \end{tikzpicture} -}} - -\newcounter{cnt} -% -\newcommand\schachbrett{{% - \forloop[2]{cnt}{0}{\value{cnt} < 13}{\marker{orange}{0.2}{\value{cnt},0}{1,1}} - \forloop[2]{cnt}{1}{\value{cnt} < 12}{\marker{orange}{0.2}{\value{cnt},1}{1,1}} - \forloop[2]{cnt}{0}{\value{cnt} < 13}{\marker{orange}{0.2}{\value{cnt},2}{1,1}} - \forloop[2]{cnt}{1}{\value{cnt} < 12}{\marker{orange}{0.2}{\value{cnt},3}{1,1}} - \forloop[2]{cnt}{0}{\value{cnt} < 13}{\marker{orange}{0.2}{\value{cnt},4}{1,1}} - \forloop[2]{cnt}{1}{\value{cnt} < 12}{\marker{orange}{0.2}{\value{cnt},5}{1,1}} - \forloop[2]{cnt}{0}{\value{cnt} < 13}{\marker{orange}{0.2}{\value{cnt},6}{1,1}} - \forloop[2]{cnt}{1}{\value{cnt} < 12}{\marker{orange}{0.2}{\value{cnt},7}{1,1}} - \forloop[2]{cnt}{0}{\value{cnt} < 13}{\marker{orange}{0.2}{\value{cnt},8}{1,1}} - \forloop[2]{cnt}{1}{\value{cnt} < 12}{\marker{orange}{0.2}{\value{cnt},9}{1,1}} -}} - -\newcommand\Z{\mathbb{Z}} -\newcommand\CZ{\overline\Z} \ No newline at end of file diff --git a/tex/presentation/thomas/defs.texshop b/tex/presentation/thomas/defs.texshop deleted file mode 100644 index f3b2f56..0000000 --- a/tex/presentation/thomas/defs.texshop +++ /dev/null @@ -1 +0,0 @@ -main.tex \ No newline at end of file diff --git a/tex/presentation/thomas/figs/.svn/all-wcprops b/tex/presentation/thomas/figs/.svn/all-wcprops deleted file mode 100644 index 20273de..0000000 --- a/tex/presentation/thomas/figs/.svn/all-wcprops +++ /dev/null @@ -1,29 +0,0 @@ -K 25 -svn:wc:ra_dav:version-url -V 69 -/repos/gawlitza/!svn/ver/4978/tex/research_proposal/presentation/figs -END -heater.pdf -K 25 -svn:wc:ra_dav:version-url -V 80 -/repos/gawlitza/!svn/ver/4978/tex/research_proposal/presentation/figs/heater.pdf -END -region_convex_poly.pdf -K 25 -svn:wc:ra_dav:version-url -V 92 -/repos/gawlitza/!svn/ver/4959/tex/research_proposal/presentation/figs/region_convex_poly.pdf -END -region_general.pdf -K 25 -svn:wc:ra_dav:version-url -V 88 -/repos/gawlitza/!svn/ver/4959/tex/research_proposal/presentation/figs/region_general.pdf -END -region_convex.pdf -K 25 -svn:wc:ra_dav:version-url -V 87 -/repos/gawlitza/!svn/ver/4959/tex/research_proposal/presentation/figs/region_convex.pdf -END diff --git a/tex/presentation/thomas/figs/.svn/entries b/tex/presentation/thomas/figs/.svn/entries deleted file mode 100644 index eef7381..0000000 --- a/tex/presentation/thomas/figs/.svn/entries +++ /dev/null @@ -1,164 +0,0 @@ -10 - -dir -5304 -https://wwwseidl.in.tum.de/repos/gawlitza/tex/research_proposal/presentation/figs -https://wwwseidl.in.tum.de/repos/gawlitza - - - -2011-03-15T10:58:26.966248Z -4978 -wenner - - - - - - - - - - - - - - -1376f181-e4f6-0310-b4b6-8b92968ac284 - -heater.pdf -file - - - - -2011-09-30T07:59:15.000000Z -524183f37f30dd4c12149ad9a16ea08b -2011-03-15T10:58:26.966248Z -4978 -wenner -has-props - - - - - - - - - - - - - - - - - - - - -53919 - -region_convex_poly.pdf -file - - - - -2011-09-30T07:59:15.000000Z -5de0b7b63ba907ada7db32acaddd6c0a -2011-03-04T17:53:09.676620Z -4959 -wenner -has-props - - - - - - - - - - - - - - - - - - - - -218863 - -region_general.pdf -file - - - - -2011-09-30T07:59:15.000000Z -83585fdbf9311229c526e7385da2352b -2011-03-04T17:53:09.676620Z -4959 -wenner -has-props - - - - - - - - - - - - - - - - - - - - -218815 - -region_convex.pdf -file - - - - -2011-09-30T07:59:15.000000Z -659f0f0594499ae9e95568e8b1e235cb -2011-03-04T17:53:09.676620Z -4959 -wenner -has-props - - - - - - - - - - - - - - - - - - - - -167570 - diff --git a/tex/presentation/thomas/figs/.svn/prop-base/heater.pdf.svn-base b/tex/presentation/thomas/figs/.svn/prop-base/heater.pdf.svn-base deleted file mode 100644 index 5e9587e..0000000 --- a/tex/presentation/thomas/figs/.svn/prop-base/heater.pdf.svn-base +++ /dev/null @@ -1,5 +0,0 @@ -K 13 -svn:mime-type -V 24 -application/octet-stream -END diff --git a/tex/presentation/thomas/figs/.svn/prop-base/region_convex.pdf.svn-base b/tex/presentation/thomas/figs/.svn/prop-base/region_convex.pdf.svn-base deleted file mode 100644 index 5e9587e..0000000 --- a/tex/presentation/thomas/figs/.svn/prop-base/region_convex.pdf.svn-base +++ /dev/null @@ -1,5 +0,0 @@ -K 13 -svn:mime-type -V 24 -application/octet-stream -END diff --git a/tex/presentation/thomas/figs/.svn/prop-base/region_convex_poly.pdf.svn-base b/tex/presentation/thomas/figs/.svn/prop-base/region_convex_poly.pdf.svn-base deleted file mode 100644 index 5e9587e..0000000 --- a/tex/presentation/thomas/figs/.svn/prop-base/region_convex_poly.pdf.svn-base +++ /dev/null @@ -1,5 +0,0 @@ -K 13 -svn:mime-type -V 24 -application/octet-stream -END diff --git a/tex/presentation/thomas/figs/.svn/prop-base/region_general.pdf.svn-base b/tex/presentation/thomas/figs/.svn/prop-base/region_general.pdf.svn-base deleted file mode 100644 index 5e9587e..0000000 --- a/tex/presentation/thomas/figs/.svn/prop-base/region_general.pdf.svn-base +++ /dev/null @@ -1,5 +0,0 @@ -K 13 -svn:mime-type -V 24 -application/octet-stream -END diff --git a/tex/presentation/thomas/figs/.svn/text-base/heater.pdf.svn-base b/tex/presentation/thomas/figs/.svn/text-base/heater.pdf.svn-base deleted file mode 100644 index 442ab1d..0000000 Binary files a/tex/presentation/thomas/figs/.svn/text-base/heater.pdf.svn-base and /dev/null differ diff --git a/tex/presentation/thomas/figs/.svn/text-base/region_convex.pdf.svn-base b/tex/presentation/thomas/figs/.svn/text-base/region_convex.pdf.svn-base deleted file mode 100644 index 076114a..0000000 Binary files a/tex/presentation/thomas/figs/.svn/text-base/region_convex.pdf.svn-base and /dev/null differ diff --git a/tex/presentation/thomas/figs/.svn/text-base/region_convex_poly.pdf.svn-base b/tex/presentation/thomas/figs/.svn/text-base/region_convex_poly.pdf.svn-base deleted file mode 100644 index a66c51f..0000000 Binary files a/tex/presentation/thomas/figs/.svn/text-base/region_convex_poly.pdf.svn-base and /dev/null differ diff --git a/tex/presentation/thomas/figs/.svn/text-base/region_general.pdf.svn-base b/tex/presentation/thomas/figs/.svn/text-base/region_general.pdf.svn-base deleted file mode 100644 index 20e3be6..0000000 Binary files a/tex/presentation/thomas/figs/.svn/text-base/region_general.pdf.svn-base and /dev/null differ diff --git a/tex/presentation/thomas/figs/heater.pdf b/tex/presentation/thomas/figs/heater.pdf deleted file mode 100644 index 442ab1d..0000000 Binary files a/tex/presentation/thomas/figs/heater.pdf and /dev/null differ diff --git a/tex/presentation/thomas/figs/region_convex.pdf b/tex/presentation/thomas/figs/region_convex.pdf deleted file mode 100644 index 076114a..0000000 Binary files a/tex/presentation/thomas/figs/region_convex.pdf and /dev/null differ diff --git a/tex/presentation/thomas/figs/region_convex_poly.pdf b/tex/presentation/thomas/figs/region_convex_poly.pdf deleted file mode 100644 index a66c51f..0000000 Binary files a/tex/presentation/thomas/figs/region_convex_poly.pdf and /dev/null differ diff --git a/tex/presentation/thomas/figs/region_general.pdf b/tex/presentation/thomas/figs/region_general.pdf deleted file mode 100644 index 20e3be6..0000000 Binary files a/tex/presentation/thomas/figs/region_general.pdf and /dev/null differ diff --git a/tex/presentation/thomas/hand_rechts.pdf b/tex/presentation/thomas/hand_rechts.pdf deleted file mode 100644 index 73321ed..0000000 Binary files a/tex/presentation/thomas/hand_rechts.pdf and /dev/null differ diff --git a/tex/presentation/thomas/logos/.DS_Store b/tex/presentation/thomas/logos/.DS_Store deleted file mode 100644 index 5008ddf..0000000 Binary files a/tex/presentation/thomas/logos/.DS_Store and /dev/null differ diff --git a/tex/presentation/thomas/main.aux b/tex/presentation/thomas/main.aux deleted file mode 100644 index dc4889f..0000000 --- a/tex/presentation/thomas/main.aux +++ /dev/null @@ -1,145 +0,0 @@ -\relax -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{toc}{\beamer@sectionintoc {0}{Title}{1}{0}{1}} -\@writefile{nav}{\headcommand {\sectionentry {0}{Title}{1}{Title}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{0}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{0}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{3/3}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\@writefile{toc}{\beamer@sectionintoc {1}{Abstract Interpretation using Zones}{4}{0}{2}} -\@writefile{nav}{\headcommand {\sectionentry {1}{Abstract Interpretation using Zones}{4}{Abstract Interpretation using Zones}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{3}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{3}}} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{3}{4/5}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {4}{5}}} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{4}{6/7}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {6}{7}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{5}{8/9}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {8}{9}}} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{6}{10/11}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {10}{11}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{7}{12/13}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {12}{13}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{8}{14/14}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {14}{14}}} -\@writefile{toc}{\beamer@sectionintoc {2}{Max-Strategy Iteration}{15}{0}{3}} -\@writefile{nav}{\headcommand {\sectionentry {2}{Max-Strategy Iteration}{15}{Max-Strategy Iteration}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {4}{14}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {4}{14}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{15/16}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {15}{16}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{10}{17/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {17}{18}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{11}{19/20}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{20}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{12}{21/21}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{13}{22/22}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{14}{23/24}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {23}{24}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{15}{25/26}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{16}{27/27}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}} -\@writefile{toc}{\beamer@sectionintoc {3}{Conclusion}{28}{0}{4}} -\@writefile{nav}{\headcommand {\sectionentry {3}{Conclusion}{28}{Conclusion}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {15}{27}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {15}{27}}} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{17}{28/29}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {28}{29}}} -\bibstyle{apalike2} -\bibdata{bib} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{18}{30/30}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{30}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{30}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{30}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {30}}} -\@writefile{nav}{\headcommand {\def \inserttotalframenumber {18}}} diff --git a/tex/presentation/thomas/main.idx b/tex/presentation/thomas/main.idx deleted file mode 100644 index e69de29..0000000 diff --git a/tex/presentation/thomas/main.log b/tex/presentation/thomas/main.log deleted file mode 100644 index c4c8200..0000000 --- a/tex/presentation/thomas/main.log +++ /dev/null @@ -1,92036 +0,0 @@ -This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2012/dev/Debian) (format=pdflatex 2012.4.10) 11 APR 2012 15:20 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**main.tex -(./main.tex -LaTeX2e <2011/06/27> -Babel and hyphenation patterns for english, dumylang, nohyphenation, lo -aded. -(/usr/share/texmf/tex/latex/beamer/base/beamer.cls -(/usr/share/texmf/tex/latex/beamer/base/beamerbasercs.sty -Package: beamerbasercs 2010/06/12 (rcs-revision c3821710bb40) -) -Document Class: beamer 2010/06/21 development version 3.10 A class for typesett -ing presentations (rcs-revision a6b1a8434d30) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasemodes.sty -Package: beamerbasemodes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@tempbox=\box26 -\beamer@tempcount=\count79 -\c@beamerpauses=\count80 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasedecode.sty -Package: beamerbasedecode 2010/05/01 (rcs-revision efa082c6111d) -\beamer@slideinframe=\count81 -\beamer@minimum=\count82 -) -\beamer@commentbox=\box27 -\beamer@modecount=\count83 -) -\headheight=\dimen102 -\headdp=\dimen103 -\footheight=\dimen104 -\sidebarheight=\dimen105 -\beamer@tempdim=\dimen106 -\beamer@finalheight=\dimen107 -\beamer@animht=\dimen108 -\beamer@animdp=\dimen109 -\beamer@animwd=\dimen110 -\beamer@leftmargin=\dimen111 -\beamer@rightmargin=\dimen112 -\beamer@leftsidebar=\dimen113 -\beamer@rightsidebar=\dimen114 -\beamer@boxsize=\dimen115 -\beamer@vboxoffset=\dimen116 -\beamer@descdefault=\dimen117 -\beamer@descriptionwidth=\dimen118 -\beamer@lastskip=\skip41 -\beamer@areabox=\box28 -\beamer@animcurrent=\box29 -\beamer@animshowbox=\box30 -\beamer@sectionbox=\box31 -\beamer@logobox=\box32 -\beamer@linebox=\box33 -\beamer@sectioncount=\count84 -\beamer@subsubsectionmax=\count85 -\beamer@subsectionmax=\count86 -\beamer@sectionmax=\count87 -\beamer@totalheads=\count88 -\beamer@headcounter=\count89 -\beamer@partstartpage=\count90 -\beamer@sectionstartpage=\count91 -\beamer@subsectionstartpage=\count92 -\beamer@animationtempa=\count93 -\beamer@animationtempb=\count94 -\beamer@xpos=\count95 -\beamer@ypos=\count96 -\beamer@showpartnumber=\count97 -\beamer@currentsubsection=\count98 -\beamer@coveringdepth=\count99 -\beamer@sectionadjust=\count100 -\beamer@tocsectionnumber=\count101 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoptions.sty -Package: beamerbaseoptions 2010/04/27 (rcs-revision 982469101dd6) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -)) -\beamer@paperwidth=\skip42 -\beamer@paperheight=\skip43 - -(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2010/09/12 v5.6 Page Geometry - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in PDF mode is detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -\Gm@cnth=\count102 -\Gm@cntv=\count103 -\c@Gm@tempcnt=\count104 -\Gm@bindingoffset=\dimen119 -\Gm@wd@mp=\dimen120 -\Gm@odd@mp=\dimen121 -\Gm@even@mp=\dimen122 -\Gm@layoutwidth=\dimen123 -\Gm@layoutheight=\dimen124 -\Gm@layouthoffset=\dimen125 -\Gm@layoutvoffset=\dimen126 -\Gm@dimlist=\toks15 -) - -Class beamer Warning: ``slidestop'' is obsolete. Use ``t'' instead on input lin -e 346. - -(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo -File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 91. - -(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO) -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count105 -)) -\Gin@req@height=\dimen127 -\Gin@req@width=\dimen128 -) -(/usr/share/texmf/tex/latex/pgf/systemlayer/pgfsys.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfrcs.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex -\pgfutil@everybye=\toks16 -) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box34 - -(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex -Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) -)) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks17 -\pgfkeys@temptoks=\toks18 - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex -\pgfkeys@tmptoks=\toks19 -)) -\pgf@x=\dimen129 -\pgf@y=\dimen130 -\pgf@xa=\dimen131 -\pgf@ya=\dimen132 -\pgf@xb=\dimen133 -\pgf@yb=\dimen134 -\pgf@xc=\dimen135 -\pgf@yc=\dimen136 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count106 -\c@pgf@countb=\count107 -\c@pgf@countc=\count108 -\c@pgf@countd=\count109 - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def -File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def -File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) -))) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex -File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) -\pgfsyssoftpath@smallbuffer@items=\count110 -\pgfsyssoftpath@bigbuffer@items=\count111 -) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) -(/usr/share/texmf/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg -File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive -) -Package xcolor Info: Driver file: pdftex.def on input line 225. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. -Package xcolor Info: Model `RGB' extended on input line 1353. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) - -(/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen137 -\pgfmath@count=\count112 -\pgfmath@box=\box35 -\pgfmath@toks=\toks20 -\pgfmath@stack@operand=\toks21 -\pgfmath@stack@operation=\toks22 -) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count113 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex -File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) -\pgf@picminx=\dimen138 -\pgf@picmaxx=\dimen139 -\pgf@picminy=\dimen140 -\pgf@picmaxy=\dimen141 -\pgf@pathminx=\dimen142 -\pgf@pathmaxx=\dimen143 -\pgf@pathminy=\dimen144 -\pgf@pathmaxy=\dimen145 -\pgf@xx=\dimen146 -\pgf@xy=\dimen147 -\pgf@yx=\dimen148 -\pgf@yy=\dimen149 -\pgf@zx=\dimen150 -\pgf@zy=\dimen151 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex -File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) -\pgf@path@lastx=\dimen152 -\pgf@path@lasty=\dimen153 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex -File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) -\pgf@shorten@end@additional=\dimen154 -\pgf@shorten@start@additional=\dimen155 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex -File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) -\pgfpic=\box36 -\pgf@hbox=\box37 -\pgf@layerbox@main=\box38 -\pgf@picture@serial@count=\count114 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex -File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) -\pgflinewidth=\dimen156 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex -File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) -\pgf@pt@x=\dimen157 -\pgf@pt@y=\dimen158 -\pgf@pt@temp=\dimen159 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex -File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex -File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex -File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) -\pgf@max=\dimen160 -\pgf@sys@shading@range@num=\count115 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex -File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) - -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex -File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) -\pgfexternal@startupbox=\box39 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex -File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex -File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex -File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) -))) -(/usr/share/texmf/tex/latex/pgf/utilities/xxcolor.sty -Package: xxcolor 2003/10/24 ver 0.1 -\XC@nummixins=\count116 -\XC@countmixins=\count117 -) -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2012/02/06 v6.82o Hypertext links for LaTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2011/04/23 v1.4 Bundle oberdiek, subset hyperref (HO) - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2011/04/23 v1.4 Bundle oberdiek, subset generic (HO) -Package: hobsub 2011/04/23 v1.4 Subsetting bundle oberdiek (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -Package hobsub Info: Skipping package `ifvtex' (already loaded). -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (HO) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO) -Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO) -Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2011/04/04 v1.12 Provides string conversions (HO) -Package: bigintcalc 2011/01/30 v1.2 Expandable big integer calculations (HO) -Package: bitset 2011/01/30 v1.1 Data type bit set (HO) -Package: uniquecounter 2011/01/30 v1.2 Provides unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) -Package: hopatch 2011/01/30 v1.0 Wrapper for package hooks (HO) -Package: xcolor-patch 2011/01/30 xcolor patch -Package: atveryend 2011/04/23 v1.7 Hooks at very end of document (HO) -Package: atbegshi 2011/01/30 v1.15 At begin shipout hook (HO) -Package: refcount 2010/12/01 v3.2 Data extraction from references (HO) -Package: hycolor 2011/01/30 v1.7 Color options of hyperref/bookmark (HO) -) -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO) -) -\@linkdim=\dimen161 -\Hy@linkcounter=\count118 -\Hy@pagecounter=\count119 - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2012/02/06 v6.82o Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count120 - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Option `bookmarks' set `true' on input line 3925. -Package hyperref Info: Option `bookmarksopen' set `true' on input line 3925. -Package hyperref Info: Option `unicode' set `true' on input line 3925. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def -File: puenc.def 2012/02/06 v6.82o Hyperref: PDF Unicode definition (HO) -) -Package hyperref Info: Option `implicit' set `false' on input line 3925. -Package hyperref Info: Hyper figures OFF on input line 4046. -Package hyperref Info: Link nesting OFF on input line 4051. -Package hyperref Info: Hyper index ON on input line 4054. -Package hyperref Info: Plain pages OFF on input line 4061. -Package hyperref Info: Backreferencing OFF on input line 4066. -Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. -Package hyperref Info: Bookmarks ON on input line 4284. -\c@Hy@tempcnt=\count121 - -(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 4637. -\Fld@menulength=\count122 -\Field@Width=\dimen162 -\Fld@charsize=\dimen163 -Package hyperref Info: Hyper figures OFF on input line 5757. -Package hyperref Info: Link nesting OFF on input line 5762. -Package hyperref Info: Hyper index ON on input line 5765. -Package hyperref Info: backreferencing OFF on input line 5772. -Package hyperref Info: Link coloring OFF on input line 5777. -Package hyperref Info: Link coloring with OCG OFF on input line 5782. -Package hyperref Info: PDF/A mode OFF on input line 5787. -LaTeX Info: Redefining \ref on input line 5827. -LaTeX Info: Redefining \pageref on input line 5831. -\Hy@abspage=\count123 - - -Package hyperref Message: Stopped early. - -) - -Package hyperref Message: Driver: hpdftex. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2012/02/06 v6.82o Hyperref driver for pdfTeX -\Fld@listcount=\count124 -\c@bookmark@seq@number=\count125 - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -)) - -! LaTeX Error: File `ucs.sty' not found. - -Type X to quit or to proceed, -or enter new name. (Default extension: sty) - -Enter file name: - -! LaTeX Error: Unknown option `hyperref' for package `ucs'. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.367 \beamer@loaducs - -? -(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty -Package: inputenc 2008/03/30 v1.1d Input encoding file -\inpenc@prehook=\toks23 -\inpenc@posthook=\toks24 - - -! LaTeX Error: File `utf8x.def' not found. - -Type X to quit or to proceed, -or enter new name. (Default extension: def) - -Enter file name: - -Package inputenc Warning: No characters defined -(inputenc) by input encoding change to `utf8x' -(inputenc) on input line 131. - -) (/usr/share/texmf/tex/latex/beamer/base/beamerbaserequires.sty -Package: beamerbaserequires 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecompatibility.sty -Package: beamerbasecompatibility 2010/07/12 (rcs-revision 6648c3177e4e) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasefont.sty -Package: beamerbasefont 2010/05/10 (rcs-revision cd36e8a33c6b) - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks25 -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 96. -))) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetranslator.sty -Package: beamerbasetranslator 2010/06/11 (rcs-revision 85fd1cc7fc42) - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty -Package: translator 2010/06/12 ver 1.10 - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings -.tex))) (/usr/share/texmf/tex/latex/beamer/base/beamerbasemisc.sty -Package: beamerbasemisc 2010/06/06 (rcs-revision bff0a9294b45) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetwoscreens.sty -Package: beamerbasetwoscreens 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoverlay.sty -Package: beamerbaseoverlay 2010/05/07 (rcs-revision 5584dad462a9) -\beamer@argscount=\count126 -\beamer@lastskipcover=\skip44 -\beamer@trivlistdepth=\count127 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetitle.sty -Package: beamerbasetitle 2010/06/12 (rcs-revision 717e481ca47a) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasesection.sty -Package: beamerbasesection 2010/06/17 (rcs-revision e0d9401bb743) -\c@lecture=\count128 -\c@part=\count129 -\c@section=\count130 -\c@subsection=\count131 -\c@subsubsection=\count132 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframe.sty -Package: beamerbaseframe 2010/06/06 (rcs-revision bff0a9294b45) -\beamer@framebox=\box40 -\beamer@frametitlebox=\box41 -\beamer@zoombox=\box42 -\beamer@zoomcount=\count133 -\beamer@zoomframecount=\count134 -\beamer@frametextheight=\dimen164 -\c@subsectionslide=\count135 -\beamer@frametopskip=\skip45 -\beamer@framebottomskip=\skip46 -\beamer@frametopskipautobreak=\skip47 -\beamer@framebottomskipautobreak=\skip48 -\beamer@envbody=\toks26 -\c@framenumber=\count136 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseverbatim.sty -Package: beamerbaseverbatim 2010/05/01 (rcs-revision efa082c6111d) -\beamer@verbatimfileout=\write4 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframesize.sty -Package: beamerbaseframesize 2010/06/27 (rcs-revision 6baa2d92e6f1) -\beamer@splitbox=\box43 -\beamer@autobreakcount=\count137 -\beamer@autobreaklastheight=\dimen165 -\beamer@frametitletoks=\toks27 -\beamer@framesubtitletoks=\toks28 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframecomponents.sty -Package: beamerbaseframecomponents 2010/07/12 (rcs-revision 09e82992d9b1) -\beamer@footins=\box44 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecolor.sty -Package: beamerbasecolor 2010/06/06 (rcs-revision d1a9b48be06d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenotes.sty -Package: beamerbasenotes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@frameboxcopy=\box45 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetoc.sty -Package: beamerbasetoc 2010/06/11 (rcs-revision 242ecaa6783b) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetemplates.sty -Package: beamerbasetemplates 2010/05/01 (rcs-revision efa082c6111d) -\beamer@sbttoks=\toks29 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseauxtemplates.sty -Package: beamerbaseauxtemplates 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseboxes.sty -Package: beamerbaseboxes 2010/05/01 (rcs-revision efa082c6111d) -\bmb@box=\box46 -\bmb@colorbox=\box47 -\bmb@boxshadow=\box48 -\bmb@boxshadowball=\box49 -\bmb@boxshadowballlarge=\box50 -\bmb@temp=\dimen166 -\bmb@dima=\dimen167 -\bmb@dimb=\dimen168 -\bmb@prevheight=\dimen169 -) -\beamer@blockheadheight=\dimen170 -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaselocalstructure.sty -Package: beamerbaselocalstructure 2010/06/01 (rcs-revision 81f9e33f7cc2) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty -Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) -\@enLab=\toks30 -) -\c@figure=\count138 -\c@table=\count139 -\abovecaptionskip=\skip49 -\belowcaptionskip=\skip50 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenavigation.sty -Package: beamerbasenavigation 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetheorems.sty -Package: beamerbasetheorems 2010/06/06 (rcs-revision 7e7cc5e53e9d) - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2000/07/18 v2.13 AMS math features -\@mathmargin=\skip51 - -For additional information on amsmath, use the `?' option. -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks31 -\ex@=\dimen171 -)) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen172 -) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count140 -LaTeX Info: Redefining \frac on input line 211. -\uproot@=\count141 -\leftroot@=\count142 -LaTeX Info: Redefining \overline on input line 307. -\classnum@=\count143 -\DOTSCASE@=\count144 -LaTeX Info: Redefining \ldots on input line 379. -LaTeX Info: Redefining \dots on input line 382. -LaTeX Info: Redefining \cdots on input line 467. -\Mathstrutbox@=\box51 -\strutbox@=\box52 -\big@size=\dimen173 -LaTeX Font Info: Redeclaring font encoding OML on input line 567. -LaTeX Font Info: Redeclaring font encoding OMS on input line 568. -\macc@depth=\count145 -\c@MaxMatrixCols=\count146 -\dotsspace@=\muskip11 -\c@parentequation=\count147 -\dspbrk@lvl=\count148 -\tag@help=\toks32 -\row@=\count149 -\column@=\count150 -\maxfields@=\count151 -\andhelp@=\toks33 -\eqnshift@=\dimen174 -\alignsep@=\dimen175 -\tagshift@=\dimen176 -\tagwidth@=\dimen177 -\totwidth@=\dimen178 -\lineht@=\dimen179 -\@envbody=\toks34 -\multlinegap=\skip52 -\multlinetaggap=\skip53 -\mathdisplay@stack=\toks35 -LaTeX Info: Redefining \[ on input line 2666. -LaTeX Info: Redefining \] on input line 2667. -) -(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2009/07/02 v2.20.1 -\thm@style=\toks36 -\thm@bodyfont=\toks37 -\thm@headfont=\toks38 -\thm@notefont=\toks39 -\thm@headpunct=\toks40 -\thm@preskip=\skip54 -\thm@postskip=\skip55 -\thm@headsep=\skip56 -\dth@everypar=\toks41 -) -\c@theorem=\count152 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasethemes.sty -Package: beamerbasethemes 2010/05/01 (rcs-revision efa082c6111d) -)) -(/usr/share/texmf/tex/latex/beamer/base/themes/theme/beamerthemedefault.sty -Package: beamerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) - -(/usr/share/texmf/tex/latex/beamer/base/themes/font/beamerfontthemedefault.sty -Package: beamerfontthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/color/beamercolorthemedefault.st -y -Package: beamercolorthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/inner/beamerinnerthemedefault.st -y -Package: beamerinnerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -\beamer@dima=\dimen180 -\beamer@dimb=\dimen181 -) -(/usr/share/texmf/tex/latex/beamer/base/themes/outer/beamerouterthemedefault.st -y -Package: beamerouterthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -))) (./textpos.sty -Package: textpos 2009/05/28 v1.7f - -Package: `textpos' 1.7f <2009 May 28> -\TP@textbox=\box53 -\TP@holdbox=\box54 -\TPHorizModule=\dimen182 -\TPVertModule=\dimen183 -\TP@margin=\dimen184 -\TP@absmargin=\dimen185 -Grid set 16 x 16 = 22.7622pt x 17.07166pt -\TPboxrulesize=\dimen186 -\TP@ox=\dimen187 -\TP@oy=\dimen188 -\TP@tbargs=\toks42 -\TP@prevdepth=\dimen189 -TextBlockOrigin set to 0pt x 0pt -) -TextBlockOrigin set to 0mm x 0mm -(/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty -Package: makeidx 2000/03/29 v1.0m Standard LaTeX package -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count153 -\lst@gtempboxa=\box55 -\lst@token=\toks43 -\lst@length=\count154 -\lst@currlwidth=\dimen190 -\lst@column=\count155 -\lst@pos=\count156 -\lst@lostspace=\dimen191 -\lst@width=\dimen192 -\lst@newlines=\count157 -\lst@lineno=\count158 -\lst@maxwidth=\dimen193 - -(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) -\c@lstnumber=\count159 -\lst@skipnumbers=\count160 -\lst@framebox=\box56 -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2007/02/22 1.4 listings configuration -)) -Package: listings 2007/02/22 1.4 (Carsten Heinz) - -(/usr/share/texlive/texmf-dist/tex/latex/colortbl/colortbl.sty -Package: colortbl 2012/02/13 v1.0a Color table columns (DPC) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty -Package: array 2008/09/09 v2.4c Tabular extension package (FMi) -\col@sep=\dimen194 -\extrarowheight=\dimen195 -\NC@list=\toks44 -\extratabsurround=\skip57 -\backup@length=\skip58 -) -\everycr=\toks45 -\minrowclearance=\skip59 -) -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/helvet.sty -Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS) -) -(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) -) -(/usr/share/texmf/tex/latex/pgf/frontendlayer/tikz.sty -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgf.sty -Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12) - -(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleshapes.code.tex -File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13) -\pgfnodeparttextbox=\box57 -) -(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleplot.code.tex -File: pgfmoduleplot.code.tex 2010/10/22 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty -Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7) -\pgf@nodesepstart=\dimen196 -\pgf@nodesepend=\dimen197 -) -(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty -Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1) -)) -(/usr/share/texmf/tex/latex/pgf/utilities/pgffor.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfkeys.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgffor.code.tex -Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18) -\pgffor@iter=\dimen198 -\pgffor@skip=\dimen199 -\pgffor@stack=\toks46 -\pgffor@toks=\toks47 -)) -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex -Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76) - -(/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex -File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15) -\pgf@plot@mark@count=\count161 -\pgfplotmarksize=\dimen200 -) -\tikz@lastx=\dimen201 -\tikz@lasty=\dimen202 -\tikz@lastxsaved=\dimen203 -\tikz@lastysaved=\dimen204 -\tikzleveldistance=\dimen205 -\tikzsiblingdistance=\dimen206 -\tikz@figbox=\box58 -\tikz@tempbox=\box59 -\tikztreelevel=\count162 -\tikznumberofchildren=\count163 -\tikznumberofcurrentchild=\count164 -\tikz@fig@count=\count165 - -(/usr/share/texmf/tex/generic/pgf/modules/pgfmodulematrix.code.tex -File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4) -\pgfmatrixcurrentrow=\count166 -\pgfmatrixcurrentcolumn=\count167 -\pgf@matrix@numberofcolumns=\count168 -) -\tikz@expandcount=\count169 - -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopat -hs.code.tex -File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2) -))) - -! LaTeX Error: File `soul.sty' not found. - -Type X to quit or to proceed, -or enter new name. (Default extension: sty) - -Enter file name: -(/usr/share/texmf/tex/latex/pgf/utilities/pgfpages.sty -Package: pgfpages 2004/11/05 ver 0.01 - -(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty -Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ) -\calc@Acount=\count170 -\calc@Bcount=\count171 -\calc@Adimen=\dimen207 -\calc@Bdimen=\dimen208 -\calc@Askip=\skip60 -\calc@Bskip=\skip61 -LaTeX Info: Redefining \setlength on input line 76. -LaTeX Info: Redefining \addtolength on input line 77. -\calc@Ccount=\count172 -\calc@Cskip=\skip62 -) -\pgf@logicalpages=\count173 -\pgf@firstshipout=\count174 -\pgf@lastshipout=\count175 -\pgf@currentshipout=\count176 -\pgf@cpn=\count177 -\pgf@shipoutnextto=\count178 -\pgfphysicalheight=\dimen209 -\pgfphysicalwidth=\dimen210 -\pgfpages@shipoutbox=\box60 -) (./proof.sty -\proofrulebreadth=\dimen211 -\proofdotseparation=\dimen212 -\proofrulebaseline=\dimen213 -\proofdotnumber=\count179 -\shortenproofleft=\dimen214 -\shortenproofright=\dimen215 -\proofbelowshift=\dimen216 -\proofabove=\box61 -\proofbelow=\box62 -\proofrulename=\box63 -) - -! LaTeX Error: File `forloop.sty' not found. - -Type X to quit or to proceed, -or enter new name. (Default extension: sty) - -Enter file name: - -! LaTeX Error: File `fouridx.sty' not found. - -Type X to quit or to proceed, -or enter new name. (Default extension: sty) - -Enter file name: - -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackg -rounds.code.tex -File: tikzlibrarybackgrounds.code.tex 2010/02/08 v2.10 (rcs-revision 1.2) -\pgf@layerbox@background=\box64 -\pgf@layerboxsaved@background=\box65 -) -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryautom -ata.code.tex -File: tikzlibraryautomata.code.tex 2008/07/14 v2.10 (rcs-revision 1.3) - -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshape -s.multipart.code.tex -File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v2.10 (rcs-revision 1.1) - -(/usr/share/texmf/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.c -ode.tex -File: pgflibraryshapes.multipart.code.tex 2010/01/07 v2.10 (rcs-revision 1.2) -\pgfnodepartlowerbox=\box66 -\pgfnodeparttwobox=\box67 -\pgfnodepartthreebox=\box68 -\pgfnodepartfourbox=\box69 -\pgfnodeparttwentybox=\box70 -\pgfnodepartnineteenbox=\box71 -\pgfnodeparteighteenbox=\box72 -\pgfnodepartseventeenbox=\box73 -\pgfnodepartsixteenbox=\box74 -\pgfnodepartfifteenbox=\box75 -\pgfnodepartfourteenbox=\box76 -\pgfnodepartthirteenbox=\box77 -\pgfnodeparttwelvebox=\box78 -\pgfnodepartelevenbox=\box79 -\pgfnodeparttenbox=\box80 -\pgfnodepartninebox=\box81 -\pgfnodeparteightbox=\box82 -\pgfnodepartsevenbox=\box83 -\pgfnodepartsixbox=\box84 -\pgfnodepartfivebox=\box85 -))) -(/usr/share/texmf/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.p -athmorphing.code.tex -(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduledecorations.code.tex -\pgfdecoratedcompleteddistance=\dimen217 -\pgfdecoratedremainingdistance=\dimen218 -\pgfdecoratedinputsegmentcompleteddistance=\dimen219 -\pgfdecoratedinputsegmentremainingdistance=\dimen220 -\pgf@decorate@distancetomove=\dimen221 -\pgf@decorate@repeatstate=\count180 -\pgfdecorationsegmentamplitude=\dimen222 -\pgfdecorationsegmentlength=\dimen223 -)) -(./defs.tex - -! LaTeX Error: File `stmaryrd.sty' not found. - -Type X to quit or to proceed, -or enter new name. (Default extension: sty) - -Enter file name: -\c@DeFsAtZ=\count181 -\breite=\skip63 -\c@cnt=\count182 -) -\@indexfile=\write5 -\openout5 = `main.idx'. - - -Writing index file main.idx -No file main.aux. -\openout1 = `main.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 55. -LaTeX Font Info: ... okay on input line 55. -LaTeX Font Info: Try loading font information for OT1+phv on input line 55. -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd -File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv. -) -! Font OT1/phv/m/n/10.95=phvr7t at 10.95pt not loadable: Metric (TFM) file not -found. - - relax -l.55 \begin{document} - -? -*geometry* driver: auto-detecting -*geometry* detected driver: pdftex -*geometry* verbose mode - [ preamble ] result: -* driver: pdftex -* paper: custom -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: includehead includefoot -* h-part:(L,W,R)=(8.53581pt, 347.12373pt, 8.53581pt) -* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) -* \paperwidth=364.19536pt -* \paperheight=273.14662pt -* \textwidth=347.12373pt -* \textheight=244.6939pt -* \oddsidemargin=-63.73418pt -* \evensidemargin=-63.73418pt -* \topmargin=-72.26999pt -* \headheight=14.22636pt -* \headsep=0.0pt -* \topskip=11.0pt -* \footskip=14.22636pt -* \marginparwidth=4.0pt -* \marginparsep=10.0pt -* \columnsep=10.0pt -* \skip\footins=10.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count183 -\scratchdimen=\dimen224 -\scratchbox=\box86 -\nofMPsegments=\count184 -\nofMParguments=\count185 -\everyMPshowfont=\toks48 -\MPscratchCnt=\count186 -\MPscratchDim=\dimen225 -\MPnumerator=\count187 -\makeMPintoPDFobject=\count188 -\everyMPtoPDFconversion=\toks49 -) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO) -) -Package grfext Info: Graphics extension search list: -(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE -G,.JBIG2,.JB2,.eps] -(grfext) \AppendGraphicsExtensions on input line 452. - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -ABD: EveryShipout initializing macros -\AtBeginShipoutBox=\box87 -Package hyperref Info: Link coloring OFF on input line 55. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) -) -\c@section@level=\count189 -) -LaTeX Info: Redefining \ref on input line 55. -LaTeX Info: Redefining \pageref on input line 55. -LaTeX Info: Redefining \nameref on input line 55. -\@outlinefile=\write6 -\openout6 = `main.out'. - - -! Undefined control sequence. -\@begindocumenthook ...efined \PreloadUnicodePage - {0}\PreloadUnicodePage {1}... -l.55 \begin{document} - -? -Missing character: There is no 0 in font nullfont! -! Undefined control sequence. -\@begindocumenthook ...age {0}\PreloadUnicodePage - {1}\def \es@itemize ##1##2... -l.55 \begin{document} - -? -Missing character: There is no 1 in font nullfont! -LaTeX Font Info: Overwriting symbol font `operators' in version `normal' -(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 55. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 55. -\symnumbers=\mathgroup6 -\sympureletters=\mathgroup7 -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' -(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 55. -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' -(Font) OT1/cmr/bx/n --> OT1/phv/bx/n on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/phv/bx/n on input line 55. -LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' -(Font) OT1/cmss/m/n --> OT1/phv/m/n on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/phv/m/n on input line 55. -LaTeX Font Info: Redeclaring math alphabet \mathit on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' -(Font) OT1/cmr/m/it --> OT1/phv/m/it on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmr/bx/it --> OT1/phv/m/it on input line 55. -LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 55. -LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' -(Font) OT1/phv/m/n --> OT1/phv/bx/n on input line 55. -LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' -(Font) OT1/phv/m/it --> OT1/phv/bx/it on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/phv/bx/n --> OT1/phv/bx/n on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/phv/m/n --> OT1/phv/bx/n on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/phv/m/it --> OT1/phv/bx/it on input line 55. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 55. - -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-basic-dicti -onary/translator-basic-dictionary-English.dict -Dictionary: translator-basic-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-bibliograph -y-dictionary/translator-bibliography-dictionary-English.dict -Dictionary: translator-bibliography-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-environment --dictionary/translator-environment-dictionary-English.dict -Dictionary: translator-environment-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-months-dict -ionary/translator-months-dictionary-English.dict -Dictionary: translator-months-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-numbers-dic -tionary/translator-numbers-dictionary-English.dict -Dictionary: translator-numbers-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-theorem-dic -tionary/translator-theorem-dictionary-English.dict -Dictionary: translator-theorem-dictionary, Language: English -) -\c@lstlisting=\count190 - -No file main.nav. -! Font OT1/phv/m/n/6=phvr7t at 6.0pt not loadable: Metric (TFM) file not found. - - relax -l.55 \begin{document} - -? -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <6> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 55. -! Font OT1/phv/bx/n/6=phvb7t at 6.0pt not loadable: Metric (TFM) file not found -. - - relax -l.55 \begin{document} - -? -! Font \OT1/phv/b/n/6=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.55 \begin{document} - -? -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <10.95> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 55. -! Font OT1/phv/bx/n/10.95=phvb7t at 10.95pt not loadable: Metric (TFM) file not - found. - - relax -l.55 \begin{document} - -? -! Font \OT1/phv/b/n/10.95=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.55 \begin{document} - -? -Missing character: There is no 0 in font nullfont! -Missing character: There is no / in font nullfont! -Missing character: There is no 1 in font nullfont! -(./slides.tex - -Package hyperref Warning: Option `pdfauthor' has already been used, -(hyperref) setting the option has no effect on input line 18. - -! Font OT1/phv/m/n/14.4=phvr7t at 14.4pt not loadable: Metric (TFM) file not fo -und. - - relax -l.71 \frame[plain]{\titlepage} - -? -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <14.4> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 71. -! Font OT1/phv/bx/n/14.4=phvb7t at 14.4pt not loadable: Metric (TFM) file not f -ound. - - relax -l.71 \frame[plain]{\titlepage} - -? -! Font \OT1/phv/b/n/14.4=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.71 \frame[plain]{\titlepage} - -? -Missing character: There is no S in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no A in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no y in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no A in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no p in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no C in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no x in font nullfont! -Missing character: There is no O in font nullfont! -Missing character: There is no p in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no m in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no z in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no d in font nullfont! -Missing character: There is no S in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no y in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no T in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no m in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no M in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no G in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no z in font nullfont! -Missing character: There is no a in font nullfont! -LaTeX Font Info: Try loading font information for U+msa on input line 71. -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 71. - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -! Font OT1/phv/m/n/8=phvr7t at 8.0pt not loadable: Metric (TFM) file not found. - - relax -l.71 \frame[plain]{\titlepage} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <10.95> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 71. -! Font OT1/phv/m/it/10.95=phvro7t at 10.95pt not loadable: Metric (TFM) file no -t found. - - relax -l.71 \frame[plain]{\titlepage} - -? -! Font OT1/phv/m/sl/10.95=nullfont not loadable: Metric (TFM) file not found. - - relax -l.71 \frame[plain]{\titlepage} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <8> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 71. -! Font OT1/phv/m/it/8=phvro7t at 8.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.71 \frame[plain]{\titlepage} - -? -! Font OT1/phv/m/sl/8=nullfont not loadable: Metric (TFM) file not found. - - relax -l.71 \frame[plain]{\titlepage} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <6> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 71. -! Font OT1/phv/m/it/6=phvro7t at 6.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.71 \frame[plain]{\titlepage} - -? -! Font OT1/phv/m/sl/6=nullfont not loadable: Metric (TFM) file not found. - - relax -l.71 \frame[plain]{\titlepage} - -? -! \scriptfont 6 is undefined (character 1). -\insertauthor ...{\bf Thomas Martin Gawlitza${}^1$ - } \\[3pt] joint work with ... -l.71 \frame[plain]{\titlepage} - -? -Missing character: There is no j in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no k in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no H in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no m in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no S in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no d in font nullfont! -Missing character: There is no l in font nullfont! -! \scriptfont 6 is undefined (character 2). -\insertauthor ...h \\[3pt] {\bf Helmut Seidl${}^2$ - } -l.71 \frame[plain]{\titlepage} - -? -! Font OT1/phv/m/n/5=phvr7t at 5.0pt not loadable: Metric (TFM) file not found. - - relax -l.71 \frame[plain]{\titlepage} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <5> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 71. -! Font OT1/phv/m/it/5=phvro7t at 5.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.71 \frame[plain]{\titlepage} - -? -! Font OT1/phv/m/sl/5=nullfont not loadable: Metric (TFM) file not found. - - relax -l.71 \frame[plain]{\titlepage} - -? -! Undefined control sequence. - \fourIdx - -l.71 \frame[plain]{\titlepage} - -? -! Font OT1/phv/m/n/12=phvr7t at 12.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.71 \frame[plain]{\titlepage} - -? -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <12> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 71. -! Font OT1/phv/bx/n/12=phvb7t at 12.0pt not loadable: Metric (TFM) file not fou -nd. - - relax -l.71 \frame[plain]{\titlepage} - -? -! Font \OT1/phv/b/n/12=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.71 \frame[plain]{\titlepage} - -? -Missing character: There is no 1 in font nullfont! -Missing character: There is no 1 in font nullfont! -Missing character: There is no 1 in font nullfont! -Missing character: There is no 1 in font nullfont! - -LaTeX Warning: File `../logos/usyd.pdf' not found on input line 71. - - -! Package pdftex.def Error: File `../logos/usyd.pdf' not found. - -See the pdftex.def package documentation for explanation. -Type H for immediate help. - ... - -l.71 \frame[plain]{\titlepage} - -? -! Undefined control sequence. - \fourIdx - -l.71 \frame[plain]{\titlepage} - -? -Missing character: There is no 2 in font nullfont! -Missing character: There is no 2 in font nullfont! -Missing character: There is no 2 in font nullfont! -Missing character: There is no 2 in font nullfont! - -LaTeX Warning: File `../logos/TUM.pdf' not found on input line 71. - - -! Package pdftex.def Error: File `../logos/TUM.pdf' not found. - -See the pdftex.def package documentation for explanation. -Type H for immediate help. - ... - -l.71 \frame[plain]{\titlepage} - -? -Missing character: There is no S in font nullfont! -Missing character: There is no A in font nullfont! -Missing character: There is no P in font nullfont! -Missing character: There is no L in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no N in font nullfont! -Missing character: There is no G in font nullfont! -Missing character: There is no M in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no N in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no m in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no 2 in font nullfont! -Missing character: There is no 0 in font nullfont! -Missing character: There is no 1 in font nullfont! -Missing character: There is no 1 in font nullfont! - -Underfull \vbox (badness 10000) has occurred while \output is active [] - - [1 - -] -Overfull \vbox (12.0pt too high) has occurred while \output is active [] - - -! Font OT1/phv/m/n/4=phvr7t at 4.0pt not loadable: Metric (TFM) file not found. - - relax -l.71 \frame[plain]{\titlepage} - -? -Missing character: There is no 1 in font nullfont! -Missing character: There is no / in font nullfont! -Missing character: There is no 1 in font nullfont! -[2{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] -Missing character: There is no 1 in font nullfont! -Missing character: There is no . in font nullfont! -Missing character: There is no A in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no p in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no Z in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no 2 in font nullfont! -Missing character: There is no . in font nullfont! -Missing character: There is no M in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no x in font nullfont! -Missing character: There is no - in font nullfont! -Missing character: There is no S in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no y in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no 3 in font nullfont! -Missing character: There is no . in font nullfont! -Missing character: There is no C in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no O in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no 2 in font nullfont! -Missing character: There is no / in font nullfont! -Missing character: There is no 1 in font nullfont! - [3 - -] -Missing character: There is no G in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no : in font nullfont! -Missing character: There is no T in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no d in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no p in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no ( in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no k in font nullfont! -Missing character: There is no e in font nullfont! -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <8> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 113. - -! Font OT1/phv/bx/n/8=phvb7t at 8.0pt not loadable: Metric (TFM) file not found -. - - relax -l.113 \end{frame} - -? -! Font OT1/phv/b/n/8=nullfont not loadable: Metric (TFM) file not found. - - relax -l.113 \end{frame} - -? -! \textfont 8 is undefined (character x). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -! \scriptfont 6 is undefined (character 1). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -! \textfont 6 is undefined (character 4). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -! \textfont 6 is undefined (character 2). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -! \textfont 8 is undefined (character x). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -! \scriptfont 6 is undefined (character 2). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -! \textfont 6 is undefined (character 1). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -! \textfont 6 is undefined (character 3). - ... $\vx _1 \leq 42, \; \vx _2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.113 \end{frame} - -? -Missing character: There is no ) in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no - in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no x in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no m in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no . in font nullfont! -Missing character: There is no D in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no : in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no m in font nullfont! -! \scriptfont 8 is undefined (character x). -