1 % Add your bibtex entries
3 @Book{aichernig:uni-iist-02,
4 editor = {Aichernig, Bernhard K. and Maibaum, Tom},
5 title = {Formal Methods at the Crossroads. From Panacea to Foundational Support.
6 {10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University}},
7 publisher = {Springer-Verlag},
10 series = {Lecture Notes in Computer Science},
11 address = {Lisbon, Portugal},
12 month = {March 18-20, 2002}
15 @InCollection{aichernig:mut-test,
16 author = {Aichernig, Bernhard},
17 title = {A systematic introduction to mutation testing in unifying theories of programming},
18 booktitle = {Testing Techniques in Software Engineering},
20 publisher = {Springer Berlin / Heidelberg},
22 editor = {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim},
24 series = {Lecture Notes in Computer Science}
27 @inproceedings{Aspinall:2007:FIP:1420412.1420429,
28 author = {Aspinall, David and L\"{u}th, Christoph and Winterstein, Daniel},
29 title = {A Framework for Interactive Proof},
30 booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference},
31 series = {Calculemus '07 / MKM '07},
33 isbn = {978-3-540-73083-5},
34 location = {Hagenberg, Austria},
37 url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
38 doi = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
40 publisher = {Springer-Verlag},
41 address = {Berlin, Heidelberg},
44 @Book{armstrong:erlang96,
45 author = {Armstrong, Joe and others},
46 title = {Concurrent Programming in Erlang},
47 publisher = {Prentice Hall},
51 @TechReport{odersky:scala06,
52 author = {Odersky, Martin and others},
53 title = {An Overview of the Scala Programming Language},
54 institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)},
56 type = {Technical Report LAMP-REPORT-2006-001},
57 address = {1015 Lausanne, Switzerland},
58 note = {Second Edition},
59 annote = {http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaOverview.pdf}
62 @article{Haller:2009:SAU:1496391.1496422,
63 author = {Haller, Philipp and Odersky, Martin},
64 title = {Scala Actors: Unifying thread-based and event-based programming},
65 journal = {Theor. Comput. Sci.},
73 url = {http://portal.acm.org/citation.cfm?id=1496391.1496422},
74 doi = {10.1016/j.tcs.2008.09.019},
76 publisher = {Elsevier Science Publishers Ltd.},
77 address = {Essex, UK},
78 keywords = {Actors, Concurrent programming, Events, Threads},
81 @InProceedings{scala:jmlc06,
82 author = {Philipp Haller and Martin Odersky},
83 title = {Event-Based Programming without Inversion of Control},
84 booktitle = {Proc. Joint Modular Languages Conference},
86 series = {Springer LNCS}
90 @InProceedings{makarius:isa-scala-jedit,
91 author = {Makarius Wenzel},
92 title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
93 booktitle = {User Interfaces for Theorem Provers (UITP 2010)},
95 editor = {C. Sacerdoti Coen and D. Aspinall},
96 address = {Edinburgh, Scotland},
98 organization = {FLOC 2010 Satellite Workshop},
99 note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf}
103 author = {Bj{\o}rner, Dines},
104 title = {Domain Engineering. Technology Management, Research and Engineering},
105 publisher = {JAIST Press},
108 series = {COE Research Monograph Series},
110 address = {Nomi, Japan}
113 @inproceedings{Haftmann-Nipkow:2010:code,
114 author = {Florian Haftmann and Tobias Nipkow},
115 title = {Code Generation via Higher-Order Rewrite Systems},
116 booktitle = {Functional and Logic Programming, 10th International
117 Symposium: {FLOPS} 2010},
119 publisher = {Springer},
120 series = {Lecture Notes in Computer Science},
125 title = {The Coq Proof Assistant},
126 author = {Barras, B. and others},
127 organization = {INRIA-Rocquencourt - CNRS-ENS Lyon},
130 pnote={},status={cited},source={mkm01.caprotti},location={}
134 author = {Gordon,M. and Milner,R. and Wadsworth,C. P.},
135 title = {Edinburgh LCF: A Mechanised Logic of Computation},
136 publisher = { Springer-Verlag},
139 series = {Lecture Notes in Computer Science}
143 title={Isabelle: a generic theorem prover},
144 author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
145 volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
146 note={With contributions by Topias Nipkow},
147 status={},source={},location={-}
151 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
152 title = {The Definition of Standard ML (Revised)},
153 publisher = {The MIT Press},
155 address = {Cambridge, London},
159 @Article{back-grundy-wright-98,
160 author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
161 title = {Structured Calculational Proof},
162 journal = {Formal Aspects of Computing},
169 title = {The {Isabelle/Isar} Implementation},
170 author = {Makarius Wenzel},
173 note = {With contributions by Florian Haftmann and Larry Paulson}
176 @InProceedings{wenzel:isar,
177 author = {Wenzel, Markus},
178 title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
179 booktitle = {Theorem Proving in Higher Order Logics},
181 editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
182 series = {LNCS 1690},
183 organization = {12th International Conference TPHOLs'99},
184 publisher = {Springer}