|
1 % Add your bibtex entries |
|
2 |
|
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}, |
|
8 year = {2003}, |
|
9 volume = {2757}, |
|
10 series = {Lecture Notes in Computer Science}, |
|
11 address = {Lisbon, Portugal}, |
|
12 month = {March 18-20, 2002} |
|
13 } |
|
14 |
|
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}, |
|
19 pages = {243--287}, |
|
20 publisher = {Springer Berlin / Heidelberg}, |
|
21 year = {2010}, |
|
22 editor = {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim}, |
|
23 volume = {6153}, |
|
24 series = {Lecture Notes in Computer Science} |
|
25 } |
|
26 |
|
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}, |
|
32 year = {2007}, |
|
33 isbn = {978-3-540-73083-5}, |
|
34 location = {Hagenberg, Austria}, |
|
35 pages = {161--175}, |
|
36 numpages = {15}, |
|
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}, |
|
39 acmid = {1420429}, |
|
40 publisher = {Springer-Verlag}, |
|
41 address = {Berlin, Heidelberg}, |
|
42 } |
|
43 |
|
44 @Book{armstrong:erlang96, |
|
45 author = {Armstrong, Joe and others}, |
|
46 title = {Concurrent Programming in Erlang}, |
|
47 publisher = {Prentice Hall}, |
|
48 year = {1996} |
|
49 } |
|
50 |
|
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)}, |
|
55 year = {2006}, |
|
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} |
|
60 } |
|
61 |
|
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.}, |
|
66 volume = {410}, |
|
67 issue = {2-3}, |
|
68 month = {February}, |
|
69 year = {2009}, |
|
70 issn = {0304-3975}, |
|
71 pages = {202--220}, |
|
72 numpages = {19}, |
|
73 url = {http://portal.acm.org/citation.cfm?id=1496391.1496422}, |
|
74 doi = {10.1016/j.tcs.2008.09.019}, |
|
75 acmid = {1496422}, |
|
76 publisher = {Elsevier Science Publishers Ltd.}, |
|
77 address = {Essex, UK}, |
|
78 keywords = {Actors, Concurrent programming, Events, Threads}, |
|
79 } |
|
80 |
|
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}, |
|
85 year = 2006, |
|
86 series = {Springer LNCS} |
|
87 } |
|
88 |
|
89 |
|
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)}, |
|
94 year = {2010}, |
|
95 editor = {C. Sacerdoti Coen and D. Aspinall}, |
|
96 address = {Edinburgh, Scotland}, |
|
97 month = {July}, |
|
98 organization = {FLOC 2010 Satellite Workshop}, |
|
99 note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf} |
|
100 } |
|
101 |
|
102 @Book{db:dom-eng, |
|
103 author = {Bj{\o}rner, Dines}, |
|
104 title = {Domain Engineering. Technology Management, Research and Engineering}, |
|
105 publisher = {JAIST Press}, |
|
106 year = {2009}, |
|
107 month = {Feb}, |
|
108 series = {COE Research Monograph Series}, |
|
109 volume = {4}, |
|
110 address = {Nomi, Japan} |
|
111 } |
|
112 |
|
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}, |
|
118 year = {2010}, |
|
119 publisher = {Springer}, |
|
120 series = {Lecture Notes in Computer Science}, |
|
121 volume = {6009} |
|
122 } |
|
123 |
|
124 @Manual{coq1999, |
|
125 title = {The Coq Proof Assistant}, |
|
126 author = {Barras, B. and others}, |
|
127 organization = {INRIA-Rocquencourt - CNRS-ENS Lyon}, |
|
128 month = {July}, |
|
129 year = {1999}, |
|
130 pnote={},status={cited},source={mkm01.caprotti},location={} |
|
131 } |
|
132 |
|
133 @Book{meta-ML, |
|
134 author = {Gordon,M. and Milner,R. and Wadsworth,C. P.}, |
|
135 title = {Edinburgh LCF: A Mechanised Logic of Computation}, |
|
136 publisher = { Springer-Verlag}, |
|
137 year = {1979}, |
|
138 volume = {78}, |
|
139 series = {Lecture Notes in Computer Science} |
|
140 } |
|
141 |
|
142 @book{Paulson:Isa94, |
|
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={-} |
|
148 } |
|
149 |
|
150 @Book{pl:milner97, |
|
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}, |
|
154 year = 1997, |
|
155 address = {Cambridge, London}, |
|
156 annote = {97bok375} |
|
157 } |
|
158 |
|
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}, |
|
163 year = {1998}, |
|
164 number = {9}, |
|
165 pages = {469-483} |
|
166 } |
|
167 |
|
168 @Manual{isar-impl, |
|
169 title = {The {Isabelle/Isar} Implementation}, |
|
170 author = {Makarius Wenzel}, |
|
171 month = {April 19}, |
|
172 year = {2009}, |
|
173 note = {With contributions by Florian Haftmann and Larry Paulson} |
|
174 } |
|
175 |
|
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}, |
|
180 year = {1999}, |
|
181 editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery}, |
|
182 series = {LNCS 1690}, |
|
183 organization = {12th International Conference TPHOLs'99}, |
|
184 publisher = {Springer} |
|
185 } |
|
186 |
|
187 |