neuper@42070
|
1 |
% Add your bibtex entries
|
neuper@42072
|
2 |
|
neuper@42072
|
3 |
@Book{aichernig:uni-iist-02,
|
neuper@42072
|
4 |
editor = {Aichernig, Bernhard K. and Maibaum, Tom},
|
neuper@42072
|
5 |
title = {Formal Methods at the Crossroads. From Panacea to Foundational Support.
|
neuper@42072
|
6 |
{10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University}},
|
neuper@42072
|
7 |
publisher = {Springer-Verlag},
|
neuper@42072
|
8 |
year = {2003},
|
neuper@42072
|
9 |
volume = {2757},
|
neuper@42072
|
10 |
series = {Lecture Notes in Computer Science},
|
neuper@42072
|
11 |
address = {Lisbon, Portugal},
|
neuper@42073
|
12 |
month = {March 18-20, 2002}
|
neuper@42072
|
13 |
}
|
neuper@42072
|
14 |
|
neuper@42072
|
15 |
@InCollection{aichernig:mut-test,
|
neuper@42072
|
16 |
author = {Aichernig, Bernhard},
|
neuper@42072
|
17 |
title = {A systematic introduction to mutation testing in unifying theories of programming},
|
neuper@42072
|
18 |
booktitle = {Testing Techniques in Software Engineering},
|
neuper@42073
|
19 |
pages = {243--287},
|
neuper@42072
|
20 |
publisher = {Springer Berlin / Heidelberg},
|
neuper@42072
|
21 |
year = {2010},
|
neuper@42072
|
22 |
editor = {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim},
|
neuper@42072
|
23 |
volume = {6153},
|
neuper@42072
|
24 |
series = {Lecture Notes in Computer Science}
|
neuper@42072
|
25 |
}
|
neuper@42072
|
26 |
|
neuper@42070
|
27 |
@inproceedings{Aspinall:2007:FIP:1420412.1420429,
|
neuper@42070
|
28 |
author = {Aspinall, David and L\"{u}th, Christoph and Winterstein, Daniel},
|
neuper@42070
|
29 |
title = {A Framework for Interactive Proof},
|
neuper@42070
|
30 |
booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference},
|
neuper@42070
|
31 |
series = {Calculemus '07 / MKM '07},
|
neuper@42070
|
32 |
year = {2007},
|
neuper@42070
|
33 |
isbn = {978-3-540-73083-5},
|
neuper@42070
|
34 |
location = {Hagenberg, Austria},
|
neuper@42070
|
35 |
pages = {161--175},
|
neuper@42070
|
36 |
numpages = {15},
|
neuper@42070
|
37 |
url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
|
neuper@42070
|
38 |
doi = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
|
neuper@42070
|
39 |
acmid = {1420429},
|
neuper@42070
|
40 |
publisher = {Springer-Verlag},
|
neuper@42070
|
41 |
address = {Berlin, Heidelberg},
|
neuper@42070
|
42 |
}
|
neuper@42070
|
43 |
|
neuper@42070
|
44 |
@Book{armstrong:erlang96,
|
neuper@42070
|
45 |
author = {Armstrong, Joe and others},
|
neuper@42070
|
46 |
title = {Concurrent Programming in Erlang},
|
neuper@42070
|
47 |
publisher = {Prentice Hall},
|
neuper@42070
|
48 |
year = {1996}
|
neuper@42070
|
49 |
}
|
neuper@42070
|
50 |
|
neuper@42070
|
51 |
@TechReport{odersky:scala06,
|
neuper@42070
|
52 |
author = {Odersky, Martin and others},
|
neuper@42070
|
53 |
title = {An Overview of the Scala Programming Language},
|
neuper@42070
|
54 |
institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)},
|
neuper@42070
|
55 |
year = {2006},
|
neuper@42070
|
56 |
type = {Technical Report LAMP-REPORT-2006-001},
|
neuper@42070
|
57 |
address = {1015 Lausanne, Switzerland},
|
neuper@42070
|
58 |
note = {Second Edition},
|
neuper@42070
|
59 |
annote = {http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaOverview.pdf}
|
neuper@42070
|
60 |
}
|
neuper@42070
|
61 |
|
neuper@42070
|
62 |
@article{Haller:2009:SAU:1496391.1496422,
|
neuper@42070
|
63 |
author = {Haller, Philipp and Odersky, Martin},
|
neuper@42070
|
64 |
title = {Scala Actors: Unifying thread-based and event-based programming},
|
neuper@42070
|
65 |
journal = {Theor. Comput. Sci.},
|
neuper@42070
|
66 |
volume = {410},
|
neuper@42070
|
67 |
issue = {2-3},
|
neuper@42070
|
68 |
month = {February},
|
neuper@42070
|
69 |
year = {2009},
|
neuper@42070
|
70 |
issn = {0304-3975},
|
neuper@42070
|
71 |
pages = {202--220},
|
neuper@42070
|
72 |
numpages = {19},
|
neuper@42070
|
73 |
url = {http://portal.acm.org/citation.cfm?id=1496391.1496422},
|
neuper@42070
|
74 |
doi = {10.1016/j.tcs.2008.09.019},
|
neuper@42070
|
75 |
acmid = {1496422},
|
neuper@42070
|
76 |
publisher = {Elsevier Science Publishers Ltd.},
|
neuper@42070
|
77 |
address = {Essex, UK},
|
neuper@42070
|
78 |
keywords = {Actors, Concurrent programming, Events, Threads},
|
neuper@42070
|
79 |
}
|
neuper@42070
|
80 |
|
neuper@42070
|
81 |
@InProceedings{scala:jmlc06,
|
neuper@42070
|
82 |
author = {Philipp Haller and Martin Odersky},
|
neuper@42070
|
83 |
title = {Event-Based Programming without Inversion of Control},
|
neuper@42070
|
84 |
booktitle = {Proc. Joint Modular Languages Conference},
|
neuper@42070
|
85 |
year = 2006,
|
neuper@42070
|
86 |
series = {Springer LNCS}
|
neuper@42070
|
87 |
}
|
neuper@42070
|
88 |
|
neuper@42070
|
89 |
|
neuper@42070
|
90 |
@InProceedings{makarius:isa-scala-jedit,
|
neuper@42070
|
91 |
author = {Makarius Wenzel},
|
neuper@42070
|
92 |
title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
|
neuper@42070
|
93 |
booktitle = {User Interfaces for Theorem Provers (UITP 2010)},
|
neuper@42070
|
94 |
year = {2010},
|
neuper@42070
|
95 |
editor = {C. Sacerdoti Coen and D. Aspinall},
|
neuper@42070
|
96 |
address = {Edinburgh, Scotland},
|
neuper@42070
|
97 |
month = {July},
|
neuper@42070
|
98 |
organization = {FLOC 2010 Satellite Workshop},
|
neuper@42070
|
99 |
note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf}
|
neuper@42070
|
100 |
}
|
neuper@42070
|
101 |
|
neuper@42070
|
102 |
@Book{db:dom-eng,
|
neuper@42070
|
103 |
author = {Bj{\o}rner, Dines},
|
neuper@42070
|
104 |
title = {Domain Engineering. Technology Management, Research and Engineering},
|
neuper@42070
|
105 |
publisher = {JAIST Press},
|
neuper@42070
|
106 |
year = {2009},
|
neuper@42070
|
107 |
month = {Feb},
|
neuper@42070
|
108 |
series = {COE Research Monograph Series},
|
neuper@42070
|
109 |
volume = {4},
|
neuper@42070
|
110 |
address = {Nomi, Japan}
|
neuper@42070
|
111 |
}
|
neuper@42070
|
112 |
|
neuper@42070
|
113 |
@inproceedings{Haftmann-Nipkow:2010:code,
|
neuper@42070
|
114 |
author = {Florian Haftmann and Tobias Nipkow},
|
neuper@42070
|
115 |
title = {Code Generation via Higher-Order Rewrite Systems},
|
neuper@42070
|
116 |
booktitle = {Functional and Logic Programming, 10th International
|
neuper@42070
|
117 |
Symposium: {FLOPS} 2010},
|
neuper@42070
|
118 |
year = {2010},
|
neuper@42070
|
119 |
publisher = {Springer},
|
neuper@42070
|
120 |
series = {Lecture Notes in Computer Science},
|
neuper@42070
|
121 |
volume = {6009}
|
neuper@42070
|
122 |
}
|
neuper@42070
|
123 |
|
neuper@42070
|
124 |
@Manual{coq1999,
|
neuper@42070
|
125 |
title = {The Coq Proof Assistant},
|
neuper@42070
|
126 |
author = {Barras, B. and others},
|
neuper@42070
|
127 |
organization = {INRIA-Rocquencourt - CNRS-ENS Lyon},
|
neuper@42070
|
128 |
month = {July},
|
neuper@42070
|
129 |
year = {1999},
|
neuper@42070
|
130 |
pnote={},status={cited},source={mkm01.caprotti},location={}
|
neuper@42070
|
131 |
}
|
neuper@42070
|
132 |
|
neuper@42070
|
133 |
@Book{meta-ML,
|
neuper@42070
|
134 |
author = {Gordon,M. and Milner,R. and Wadsworth,C. P.},
|
neuper@42070
|
135 |
title = {Edinburgh LCF: A Mechanised Logic of Computation},
|
neuper@42070
|
136 |
publisher = { Springer-Verlag},
|
neuper@42070
|
137 |
year = {1979},
|
neuper@42070
|
138 |
volume = {78},
|
neuper@42070
|
139 |
series = {Lecture Notes in Computer Science}
|
neuper@42070
|
140 |
}
|
neuper@42070
|
141 |
|
neuper@42070
|
142 |
@book{Paulson:Isa94,
|
neuper@42070
|
143 |
title={Isabelle: a generic theorem prover},
|
neuper@42070
|
144 |
author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
|
neuper@42070
|
145 |
volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
|
neuper@42070
|
146 |
note={With contributions by Topias Nipkow},
|
neuper@42070
|
147 |
status={},source={},location={-}
|
neuper@42070
|
148 |
}
|
neuper@42070
|
149 |
|
neuper@42070
|
150 |
@Book{pl:milner97,
|
neuper@42070
|
151 |
author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
|
neuper@42070
|
152 |
title = {The Definition of Standard ML (Revised)},
|
neuper@42070
|
153 |
publisher = {The MIT Press},
|
neuper@42070
|
154 |
year = 1997,
|
neuper@42070
|
155 |
address = {Cambridge, London},
|
neuper@42070
|
156 |
annote = {97bok375}
|
neuper@42070
|
157 |
}
|
neuper@42070
|
158 |
|
neuper@42070
|
159 |
@Article{back-grundy-wright-98,
|
neuper@42070
|
160 |
author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
|
neuper@42070
|
161 |
title = {Structured Calculational Proof},
|
neuper@42070
|
162 |
journal = {Formal Aspects of Computing},
|
neuper@42070
|
163 |
year = {1998},
|
neuper@42070
|
164 |
number = {9},
|
neuper@42070
|
165 |
pages = {469-483}
|
neuper@42070
|
166 |
}
|
neuper@42070
|
167 |
|
neuper@42070
|
168 |
@Manual{isar-impl,
|
neuper@42070
|
169 |
title = {The {Isabelle/Isar} Implementation},
|
neuper@42070
|
170 |
author = {Makarius Wenzel},
|
neuper@42070
|
171 |
month = {April 19},
|
neuper@42070
|
172 |
year = {2009},
|
neuper@42070
|
173 |
note = {With contributions by Florian Haftmann and Larry Paulson}
|
neuper@42070
|
174 |
}
|
neuper@42070
|
175 |
|
neuper@42070
|
176 |
@InProceedings{wenzel:isar,
|
neuper@42070
|
177 |
author = {Wenzel, Markus},
|
neuper@42070
|
178 |
title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
|
neuper@42070
|
179 |
booktitle = {Theorem Proving in Higher Order Logics},
|
neuper@42070
|
180 |
year = {1999},
|
neuper@42070
|
181 |
editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
|
neuper@42070
|
182 |
series = {LNCS 1690},
|
neuper@42070
|
183 |
organization = {12th International Conference TPHOLs'99},
|
neuper@42070
|
184 |
publisher = {Springer}
|
neuper@42070
|
185 |
}
|
neuper@42070
|
186 |
|
neuper@42070
|
187 |
|