neuper@42070: % Add your bibtex entries neuper@42072: neuper@42072: @Book{aichernig:uni-iist-02, neuper@42072: editor = {Aichernig, Bernhard K. and Maibaum, Tom}, neuper@42072: title = {Formal Methods at the Crossroads. From Panacea to Foundational Support. neuper@42072: {10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University}}, neuper@42072: publisher = {Springer-Verlag}, neuper@42072: year = {2003}, neuper@42072: volume = {2757}, neuper@42072: series = {Lecture Notes in Computer Science}, neuper@42072: address = {Lisbon, Portugal}, neuper@42073: month = {March 18-20, 2002} neuper@42072: } neuper@42072: neuper@42072: @InCollection{aichernig:mut-test, neuper@42072: author = {Aichernig, Bernhard}, neuper@42072: title = {A systematic introduction to mutation testing in unifying theories of programming}, neuper@42072: booktitle = {Testing Techniques in Software Engineering}, neuper@42073: pages = {243--287}, neuper@42072: publisher = {Springer Berlin / Heidelberg}, neuper@42072: year = {2010}, neuper@42072: editor = {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim}, neuper@42072: volume = {6153}, neuper@42072: series = {Lecture Notes in Computer Science} neuper@42072: } neuper@42072: neuper@42070: @inproceedings{Aspinall:2007:FIP:1420412.1420429, neuper@42070: author = {Aspinall, David and L\"{u}th, Christoph and Winterstein, Daniel}, neuper@42070: title = {A Framework for Interactive Proof}, neuper@42070: booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference}, neuper@42070: series = {Calculemus '07 / MKM '07}, neuper@42070: year = {2007}, neuper@42070: isbn = {978-3-540-73083-5}, neuper@42070: location = {Hagenberg, Austria}, neuper@42070: pages = {161--175}, neuper@42070: numpages = {15}, neuper@42070: url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15}, neuper@42070: doi = {http://dx.doi.org/10.1007/978-3-540-73086-6_15}, neuper@42070: acmid = {1420429}, neuper@42070: publisher = {Springer-Verlag}, neuper@42070: address = {Berlin, Heidelberg}, neuper@42070: } neuper@42070: neuper@42070: @Book{armstrong:erlang96, neuper@42070: author = {Armstrong, Joe and others}, neuper@42070: title = {Concurrent Programming in Erlang}, neuper@42070: publisher = {Prentice Hall}, neuper@42070: year = {1996} neuper@42070: } neuper@42070: neuper@42070: @TechReport{odersky:scala06, neuper@42070: author = {Odersky, Martin and others}, neuper@42070: title = {An Overview of the Scala Programming Language}, neuper@42070: institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)}, neuper@42070: year = {2006}, neuper@42070: type = {Technical Report LAMP-REPORT-2006-001}, neuper@42070: address = {1015 Lausanne, Switzerland}, neuper@42070: note = {Second Edition}, neuper@42070: annote = {http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaOverview.pdf} neuper@42070: } neuper@42070: neuper@42070: @article{Haller:2009:SAU:1496391.1496422, neuper@42070: author = {Haller, Philipp and Odersky, Martin}, neuper@42070: title = {Scala Actors: Unifying thread-based and event-based programming}, neuper@42070: journal = {Theor. Comput. Sci.}, neuper@42070: volume = {410}, neuper@42070: issue = {2-3}, neuper@42070: month = {February}, neuper@42070: year = {2009}, neuper@42070: issn = {0304-3975}, neuper@42070: pages = {202--220}, neuper@42070: numpages = {19}, neuper@42070: url = {http://portal.acm.org/citation.cfm?id=1496391.1496422}, neuper@42070: doi = {10.1016/j.tcs.2008.09.019}, neuper@42070: acmid = {1496422}, neuper@42070: publisher = {Elsevier Science Publishers Ltd.}, neuper@42070: address = {Essex, UK}, neuper@42070: keywords = {Actors, Concurrent programming, Events, Threads}, neuper@42070: } neuper@42070: neuper@42070: @InProceedings{scala:jmlc06, neuper@42070: author = {Philipp Haller and Martin Odersky}, neuper@42070: title = {Event-Based Programming without Inversion of Control}, neuper@42070: booktitle = {Proc. Joint Modular Languages Conference}, neuper@42070: year = 2006, neuper@42070: series = {Springer LNCS} neuper@42070: } neuper@42070: neuper@42070: neuper@42070: @InProceedings{makarius:isa-scala-jedit, neuper@42070: author = {Makarius Wenzel}, neuper@42070: title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}}, neuper@42070: booktitle = {User Interfaces for Theorem Provers (UITP 2010)}, neuper@42070: year = {2010}, neuper@42070: editor = {C. Sacerdoti Coen and D. Aspinall}, neuper@42070: address = {Edinburgh, Scotland}, neuper@42070: month = {July}, neuper@42070: organization = {FLOC 2010 Satellite Workshop}, neuper@42070: note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf} neuper@42070: } neuper@42070: neuper@42070: @Book{db:dom-eng, neuper@42070: author = {Bj{\o}rner, Dines}, neuper@42070: title = {Domain Engineering. Technology Management, Research and Engineering}, neuper@42070: publisher = {JAIST Press}, neuper@42070: year = {2009}, neuper@42070: month = {Feb}, neuper@42070: series = {COE Research Monograph Series}, neuper@42070: volume = {4}, neuper@42070: address = {Nomi, Japan} neuper@42070: } neuper@42070: neuper@42070: @inproceedings{Haftmann-Nipkow:2010:code, neuper@42070: author = {Florian Haftmann and Tobias Nipkow}, neuper@42070: title = {Code Generation via Higher-Order Rewrite Systems}, neuper@42070: booktitle = {Functional and Logic Programming, 10th International neuper@42070: Symposium: {FLOPS} 2010}, neuper@42070: year = {2010}, neuper@42070: publisher = {Springer}, neuper@42070: series = {Lecture Notes in Computer Science}, neuper@42070: volume = {6009} neuper@42070: } neuper@42070: neuper@42070: @Manual{coq1999, neuper@42070: title = {The Coq Proof Assistant}, neuper@42070: author = {Barras, B. and others}, neuper@42070: organization = {INRIA-Rocquencourt - CNRS-ENS Lyon}, neuper@42070: month = {July}, neuper@42070: year = {1999}, neuper@42070: pnote={},status={cited},source={mkm01.caprotti},location={} neuper@42070: } neuper@42070: neuper@42070: @Book{meta-ML, neuper@42070: author = {Gordon,M. and Milner,R. and Wadsworth,C. P.}, neuper@42070: title = {Edinburgh LCF: A Mechanised Logic of Computation}, neuper@42070: publisher = { Springer-Verlag}, neuper@42070: year = {1979}, neuper@42070: volume = {78}, neuper@42070: series = {Lecture Notes in Computer Science} neuper@42070: } neuper@42070: neuper@42070: @book{Paulson:Isa94, neuper@42070: title={Isabelle: a generic theorem prover}, neuper@42070: author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994}, neuper@42070: volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={}, neuper@42070: note={With contributions by Topias Nipkow}, neuper@42070: status={},source={},location={-} neuper@42070: } neuper@42070: neuper@42070: @Book{pl:milner97, neuper@42070: author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen}, neuper@42070: title = {The Definition of Standard ML (Revised)}, neuper@42070: publisher = {The MIT Press}, neuper@42070: year = 1997, neuper@42070: address = {Cambridge, London}, neuper@42070: annote = {97bok375} neuper@42070: } neuper@42070: neuper@42070: @Article{back-grundy-wright-98, neuper@42070: author = {Back, Ralph and Grundy, Jim and von Wright, Joakim}, neuper@42070: title = {Structured Calculational Proof}, neuper@42070: journal = {Formal Aspects of Computing}, neuper@42070: year = {1998}, neuper@42070: number = {9}, neuper@42070: pages = {469-483} neuper@42070: } neuper@42070: neuper@42070: @Manual{isar-impl, neuper@42070: title = {The {Isabelle/Isar} Implementation}, neuper@42070: author = {Makarius Wenzel}, neuper@42070: month = {April 19}, neuper@42070: year = {2009}, neuper@42070: note = {With contributions by Florian Haftmann and Larry Paulson} neuper@42070: } neuper@42070: neuper@42070: @InProceedings{wenzel:isar, neuper@42070: author = {Wenzel, Markus}, neuper@42070: title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}, neuper@42070: booktitle = {Theorem Proving in Higher Order Logics}, neuper@42070: year = {1999}, neuper@42070: editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery}, neuper@42070: series = {LNCS 1690}, neuper@42070: organization = {12th International Conference TPHOLs'99}, neuper@42070: publisher = {Springer} neuper@42070: } neuper@42070: neuper@42070: