andreas@38113
|
1 |
@Book{armstrong:erlang96,
|
andreas@38102
|
2 |
author = {Armstrong, Joe, et.al.},
|
andreas@38102
|
3 |
title = {Concurrent Programming in Erlang},
|
andreas@38102
|
4 |
publisher = {Prentice Hall},
|
andreas@38102
|
5 |
year = {1996}
|
andreas@38102
|
6 |
}
|
andreas@38102
|
7 |
|
neuper@38110
|
8 |
@TechReport{odersky:scala06,
|
neuper@38097
|
9 |
author = {Odersky, Martin, et.al.},
|
neuper@38097
|
10 |
title = {An Overview of the Scala Programming Language},
|
neuper@38097
|
11 |
institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)},
|
neuper@38110
|
12 |
year = {2006},
|
neuper@38097
|
13 |
type = {Technical Report LAMP-REPORT-2006-001},
|
neuper@38097
|
14 |
address = {1015 Lausanne, Switzerland},
|
neuper@38097
|
15 |
note = {Second Edition},
|
neuper@38097
|
16 |
annote = {http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaOverview.pdf}
|
neuper@38097
|
17 |
}
|
neuper@38097
|
18 |
|
neuper@38097
|
19 |
@article{Haller:2009:SAU:1496391.1496422,
|
neuper@38097
|
20 |
author = {Haller, Philipp and Odersky, Martin},
|
neuper@38097
|
21 |
title = {Scala Actors: Unifying thread-based and event-based programming},
|
neuper@38097
|
22 |
journal = {Theor. Comput. Sci.},
|
neuper@38097
|
23 |
volume = {410},
|
neuper@38097
|
24 |
issue = {2-3},
|
neuper@38097
|
25 |
month = {February},
|
neuper@38097
|
26 |
year = {2009},
|
neuper@38097
|
27 |
issn = {0304-3975},
|
neuper@38097
|
28 |
pages = {202--220},
|
neuper@38097
|
29 |
numpages = {19},
|
neuper@38097
|
30 |
url = {http://portal.acm.org/citation.cfm?id=1496391.1496422},
|
neuper@38097
|
31 |
doi = {10.1016/j.tcs.2008.09.019},
|
neuper@38097
|
32 |
acmid = {1496422},
|
neuper@38097
|
33 |
publisher = {Elsevier Science Publishers Ltd.},
|
neuper@38097
|
34 |
address = {Essex, UK},
|
neuper@38097
|
35 |
keywords = {Actors, Concurrent programming, Events, Threads},
|
neuper@38097
|
36 |
}
|
neuper@38097
|
37 |
|
neuper@38097
|
38 |
@InProceedings{scala:jmlc06,
|
neuper@38097
|
39 |
author = {Philipp Haller and Martin Odersky},
|
neuper@38097
|
40 |
title = {Event-Based Programming without Inversion of Control},
|
neuper@38097
|
41 |
booktitle = {Proc. Joint Modular Languages Conference},
|
neuper@38097
|
42 |
year = 2006,
|
neuper@38097
|
43 |
series = {Springer LNCS}
|
neuper@38097
|
44 |
}
|
neuper@38097
|
45 |
|
neuper@38097
|
46 |
|
neuper@38096
|
47 |
@InProceedings{makarius:isa-scala-jedit,
|
neuper@38096
|
48 |
author = {Makarius Wenzel},
|
neuper@38096
|
49 |
title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
|
neuper@38096
|
50 |
booktitle = {User Interfaces for Theorem Provers (UITP 2010)},
|
neuper@38096
|
51 |
year = {2010},
|
neuper@38096
|
52 |
editor = {C. Sacerdoti Coen and D. Aspinall},
|
neuper@38096
|
53 |
address = {Edinburgh, Scotland},
|
neuper@38096
|
54 |
month = {July},
|
neuper@38096
|
55 |
organization = {FLOC 2010 Satellite Workshop},
|
neuper@38096
|
56 |
note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf}
|
neuper@38096
|
57 |
}
|
neuper@38096
|
58 |
|
neuper@38096
|
59 |
@Book{db:dom-eng,
|
neuper@38096
|
60 |
author = {Bj{\o}rner, Dines},
|
neuper@38096
|
61 |
title = {Domain Engineering. Technology Management, Research and Engineering},
|
neuper@38096
|
62 |
publisher = {JAIST Press},
|
neuper@38096
|
63 |
year = {2009},
|
neuper@38096
|
64 |
month = {Feb},
|
neuper@38096
|
65 |
series = {COE Research Monograph Series},
|
neuper@38096
|
66 |
volume = {4},
|
neuper@38096
|
67 |
address = {Nomi, Japan}
|
neuper@38096
|
68 |
}
|
neuper@38096
|
69 |
|
neuper@38094
|
70 |
@inproceedings{Haftmann-Nipkow:2010:code,
|
neuper@38094
|
71 |
author = {Florian Haftmann and Tobias Nipkow},
|
neuper@38094
|
72 |
title = {Code Generation via Higher-Order Rewrite Systems},
|
neuper@38094
|
73 |
booktitle = {Functional and Logic Programming, 10th International
|
neuper@38094
|
74 |
Symposium: {FLOPS} 2010},
|
neuper@38094
|
75 |
year = {2010},
|
neuper@38094
|
76 |
publisher = {Springer},
|
neuper@38094
|
77 |
series = {Lecture Notes in Computer Science},
|
neuper@38094
|
78 |
volume = {6009}
|
neuper@38094
|
79 |
}
|
neuper@38094
|
80 |
|
neuper@38094
|
81 |
@Manual{coq1999,
|
neuper@38094
|
82 |
title = {The Coq Proof Assistant},
|
neuper@38094
|
83 |
author = {Barras, B. and others},
|
neuper@38094
|
84 |
organization = {INRIA-Rocquencourt - CNRS-ENS Lyon},
|
neuper@38094
|
85 |
month = {July},
|
neuper@38094
|
86 |
year = {1999},
|
neuper@38094
|
87 |
pnote={},status={cited},source={mkm01.caprotti},location={}
|
neuper@38094
|
88 |
}
|
neuper@38094
|
89 |
|
neuper@38094
|
90 |
@Book{meta-ML,
|
neuper@38094
|
91 |
author = {Gordon,M. and Milner,R. and Wadsworth,C. P.},
|
neuper@38094
|
92 |
title = {Edinburgh LCF: A Mechanised Logic of Computation},
|
neuper@38094
|
93 |
publisher = { Springer-Verlag},
|
neuper@38094
|
94 |
year = {1979},
|
neuper@38094
|
95 |
volume = {78},
|
neuper@38094
|
96 |
series = {Lecture Notes in Computer Science}
|
neuper@38094
|
97 |
}
|
neuper@38094
|
98 |
|
neuper@38089
|
99 |
@book{Paulson:Isa94,
|
neuper@38089
|
100 |
title={Isabelle: a generic theorem prover},
|
neuper@38089
|
101 |
author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
|
neuper@38089
|
102 |
volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
|
neuper@38089
|
103 |
note={With contributions by Topias Nipkow},
|
neuper@38089
|
104 |
status={},source={},location={-}
|
neuper@38089
|
105 |
}
|
neuper@38089
|
106 |
|
neuper@38079
|
107 |
@Book{pl:milner97,
|
neuper@38079
|
108 |
author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
|
neuper@38079
|
109 |
title = {The Definition of Standard ML (Revised)},
|
neuper@38079
|
110 |
publisher = {The MIT Press},
|
neuper@38079
|
111 |
year = 1997,
|
neuper@38079
|
112 |
address = {Cambridge, London},
|
neuper@38079
|
113 |
annote = {97bok375}
|
neuper@38079
|
114 |
}
|
neuper@38079
|
115 |
|
neuper@38079
|
116 |
@Article{back-grundy-wright-98,
|
neuper@38079
|
117 |
author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
|
neuper@38079
|
118 |
title = {Structured Calculational Proof},
|
neuper@38079
|
119 |
journal = {Formal Aspects of Computing},
|
neuper@38079
|
120 |
year = {1998},
|
neuper@38079
|
121 |
number = {9},
|
neuper@38079
|
122 |
pages = {469-483}
|
neuper@38079
|
123 |
}
|
neuper@38079
|
124 |
|
neuper@38079
|
125 |
@Manual{isar-impl,
|
neuper@38079
|
126 |
title = {The {Isabelle/Isar} Implementation},
|
neuper@38079
|
127 |
author = {Makarius Wenzel},
|
neuper@38079
|
128 |
month = {April 19},
|
neuper@38079
|
129 |
year = {2009},
|
neuper@38079
|
130 |
note = {With contributions by Florian Haftmann and Larry Paulson}
|
neuper@38079
|
131 |
}
|
neuper@38079
|
132 |
|
neuper@38079
|
133 |
@InProceedings{wenzel:isar,
|
neuper@38079
|
134 |
author = {Wenzel, Markus},
|
neuper@38079
|
135 |
title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
|
neuper@38079
|
136 |
booktitle = {Theorem Proving in Higher Order Logics},
|
neuper@38079
|
137 |
year = {1999},
|
neuper@38079
|
138 |
editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
|
neuper@38079
|
139 |
series = {LNCS 1690},
|
neuper@38079
|
140 |
organization = {12th International Conference TPHOLs'99},
|
neuper@38079
|
141 |
publisher = {Springer}
|
neuper@38079
|
142 |
}
|
andreas@38100
|
143 |
|
andreas@38100
|
144 |
|