1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Doc/isac/msteger/bakk-arbeit/master_thesis.bib Sun Jul 14 14:48:14 2013 +0200
1.3 @@ -0,0 +1,187 @@
1.4 +% Add your bibtex entries
1.5 +
1.6 +@Book{aichernig:uni-iist-02,
1.7 + editor = {Aichernig, Bernhard K. and Maibaum, Tom},
1.8 + title = {Formal Methods at the Crossroads. From Panacea to Foundational Support.
1.9 +{10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University}},
1.10 + publisher = {Springer-Verlag},
1.11 + year = {2003},
1.12 + volume = {2757},
1.13 + series = {Lecture Notes in Computer Science},
1.14 + address = {Lisbon, Portugal},
1.15 + month = {March 18-20, 2002}
1.16 +}
1.17 +
1.18 +@InCollection{aichernig:mut-test,
1.19 + author = {Aichernig, Bernhard},
1.20 + title = {A systematic introduction to mutation testing in unifying theories of programming},
1.21 + booktitle = {Testing Techniques in Software Engineering},
1.22 + pages = {243--287},
1.23 + publisher = {Springer Berlin / Heidelberg},
1.24 + year = {2010},
1.25 + editor = {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim},
1.26 + volume = {6153},
1.27 + series = {Lecture Notes in Computer Science}
1.28 +}
1.29 +
1.30 +@inproceedings{Aspinall:2007:FIP:1420412.1420429,
1.31 + author = {Aspinall, David and L\"{u}th, Christoph and Winterstein, Daniel},
1.32 + title = {A Framework for Interactive Proof},
1.33 + booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference},
1.34 + series = {Calculemus '07 / MKM '07},
1.35 + year = {2007},
1.36 + isbn = {978-3-540-73083-5},
1.37 + location = {Hagenberg, Austria},
1.38 + pages = {161--175},
1.39 + numpages = {15},
1.40 + url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
1.41 + doi = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
1.42 + acmid = {1420429},
1.43 + publisher = {Springer-Verlag},
1.44 + address = {Berlin, Heidelberg},
1.45 +}
1.46 +
1.47 +@Book{armstrong:erlang96,
1.48 + author = {Armstrong, Joe and others},
1.49 + title = {Concurrent Programming in Erlang},
1.50 + publisher = {Prentice Hall},
1.51 + year = {1996}
1.52 +}
1.53 +
1.54 +@TechReport{odersky:scala06,
1.55 + author = {Odersky, Martin and others},
1.56 + title = {An Overview of the Scala Programming Language},
1.57 + institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)},
1.58 + year = {2006},
1.59 + type = {Technical Report LAMP-REPORT-2006-001},
1.60 + address = {1015 Lausanne, Switzerland},
1.61 + note = {Second Edition},
1.62 + annote = {http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaOverview.pdf}
1.63 +}
1.64 +
1.65 +@article{Haller:2009:SAU:1496391.1496422,
1.66 + author = {Haller, Philipp and Odersky, Martin},
1.67 + title = {Scala Actors: Unifying thread-based and event-based programming},
1.68 + journal = {Theor. Comput. Sci.},
1.69 + volume = {410},
1.70 + issue = {2-3},
1.71 + month = {February},
1.72 + year = {2009},
1.73 + issn = {0304-3975},
1.74 + pages = {202--220},
1.75 + numpages = {19},
1.76 + url = {http://portal.acm.org/citation.cfm?id=1496391.1496422},
1.77 + doi = {10.1016/j.tcs.2008.09.019},
1.78 + acmid = {1496422},
1.79 + publisher = {Elsevier Science Publishers Ltd.},
1.80 + address = {Essex, UK},
1.81 + keywords = {Actors, Concurrent programming, Events, Threads},
1.82 +}
1.83 +
1.84 +@InProceedings{scala:jmlc06,
1.85 + author = {Philipp Haller and Martin Odersky},
1.86 + title = {Event-Based Programming without Inversion of Control},
1.87 + booktitle = {Proc. Joint Modular Languages Conference},
1.88 + year = 2006,
1.89 + series = {Springer LNCS}
1.90 +}
1.91 +
1.92 +
1.93 +@InProceedings{makarius:isa-scala-jedit,
1.94 + author = {Makarius Wenzel},
1.95 + title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
1.96 + booktitle = {User Interfaces for Theorem Provers (UITP 2010)},
1.97 + year = {2010},
1.98 + editor = {C. Sacerdoti Coen and D. Aspinall},
1.99 + address = {Edinburgh, Scotland},
1.100 + month = {July},
1.101 + organization = {FLOC 2010 Satellite Workshop},
1.102 + note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf}
1.103 +}
1.104 +
1.105 +@Book{db:dom-eng,
1.106 + author = {Bj{\o}rner, Dines},
1.107 + title = {Domain Engineering. Technology Management, Research and Engineering},
1.108 + publisher = {JAIST Press},
1.109 + year = {2009},
1.110 + month = {Feb},
1.111 + series = {COE Research Monograph Series},
1.112 + volume = {4},
1.113 + address = {Nomi, Japan}
1.114 +}
1.115 +
1.116 +@inproceedings{Haftmann-Nipkow:2010:code,
1.117 + author = {Florian Haftmann and Tobias Nipkow},
1.118 + title = {Code Generation via Higher-Order Rewrite Systems},
1.119 + booktitle = {Functional and Logic Programming, 10th International
1.120 +Symposium: {FLOPS} 2010},
1.121 + year = {2010},
1.122 + publisher = {Springer},
1.123 + series = {Lecture Notes in Computer Science},
1.124 + volume = {6009}
1.125 +}
1.126 +
1.127 +@Manual{coq1999,
1.128 + title = {The Coq Proof Assistant},
1.129 + author = {Barras, B. and others},
1.130 + organization = {INRIA-Rocquencourt - CNRS-ENS Lyon},
1.131 + month = {July},
1.132 + year = {1999},
1.133 + pnote={},status={cited},source={mkm01.caprotti},location={}
1.134 +}
1.135 +
1.136 +@Book{meta-ML,
1.137 + author = {Gordon,M. and Milner,R. and Wadsworth,C. P.},
1.138 + title = {Edinburgh LCF: A Mechanised Logic of Computation},
1.139 + publisher = { Springer-Verlag},
1.140 + year = {1979},
1.141 + volume = {78},
1.142 + series = {Lecture Notes in Computer Science}
1.143 +}
1.144 +
1.145 +@book{Paulson:Isa94,
1.146 + title={Isabelle: a generic theorem prover},
1.147 + author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
1.148 + volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
1.149 + note={With contributions by Topias Nipkow},
1.150 + status={},source={},location={-}
1.151 + }
1.152 +
1.153 +@Book{pl:milner97,
1.154 + author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
1.155 + title = {The Definition of Standard ML (Revised)},
1.156 + publisher = {The MIT Press},
1.157 + year = 1997,
1.158 + address = {Cambridge, London},
1.159 + annote = {97bok375}
1.160 +}
1.161 +
1.162 +@Article{back-grundy-wright-98,
1.163 + author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
1.164 + title = {Structured Calculational Proof},
1.165 + journal = {Formal Aspects of Computing},
1.166 + year = {1998},
1.167 + number = {9},
1.168 + pages = {469-483}
1.169 +}
1.170 +
1.171 +@Manual{isar-impl,
1.172 + title = {The {Isabelle/Isar} Implementation},
1.173 + author = {Makarius Wenzel},
1.174 + month = {April 19},
1.175 + year = {2009},
1.176 + note = {With contributions by Florian Haftmann and Larry Paulson}
1.177 +}
1.178 +
1.179 +@InProceedings{wenzel:isar,
1.180 + author = {Wenzel, Markus},
1.181 + title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
1.182 + booktitle = {Theorem Proving in Higher Order Logics},
1.183 + year = {1999},
1.184 + editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
1.185 + series = {LNCS 1690},
1.186 + organization = {12th International Conference TPHOLs'99},
1.187 + publisher = {Springer}
1.188 +}
1.189 +
1.190 +