1 @InProceedings{makarius:isa-scala-jedit,
2 author = {Makarius Wenzel},
3 title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
4 booktitle = {User Interfaces for Theorem Provers (UITP 2010)},
6 editor = {C. Sacerdoti Coen and D. Aspinall},
7 address = {Edinburgh, Scotland},
9 organization = {FLOC 2010 Satellite Workshop},
10 note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf}
14 author = {Bj{\o}rner, Dines},
15 title = {Domain Engineering. Technology Management, Research and Engineering},
16 publisher = {JAIST Press},
19 series = {COE Research Monograph Series},
21 address = {Nomi, Japan}
24 @inproceedings{Haftmann-Nipkow:2010:code,
25 author = {Florian Haftmann and Tobias Nipkow},
26 title = {Code Generation via Higher-Order Rewrite Systems},
27 booktitle = {Functional and Logic Programming, 10th International
28 Symposium: {FLOPS} 2010},
30 publisher = {Springer},
31 series = {Lecture Notes in Computer Science},
36 title = {The Coq Proof Assistant},
37 author = {Barras, B. and others},
38 organization = {INRIA-Rocquencourt - CNRS-ENS Lyon},
41 pnote={},status={cited},source={mkm01.caprotti},location={}
45 author = {Gordon,M. and Milner,R. and Wadsworth,C. P.},
46 title = {Edinburgh LCF: A Mechanised Logic of Computation},
47 publisher = { Springer-Verlag},
50 series = {Lecture Notes in Computer Science}
54 title={Isabelle: a generic theorem prover},
55 author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
56 volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
57 note={With contributions by Topias Nipkow},
58 status={},source={},location={-}
62 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
63 title = {The Definition of Standard ML (Revised)},
64 publisher = {The MIT Press},
66 address = {Cambridge, London},
70 @Article{back-grundy-wright-98,
71 author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
72 title = {Structured Calculational Proof},
73 journal = {Formal Aspects of Computing},
80 title = {The {Isabelle/Isar} Implementation},
81 author = {Makarius Wenzel},
84 note = {With contributions by Florian Haftmann and Larry Paulson}
87 @InProceedings{wenzel:isar,
88 author = {Wenzel, Markus},
89 title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
90 booktitle = {Theorem Proving in Higher Order Logics},
92 editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
94 organization = {12th International Conference TPHOLs'99},
95 publisher = {Springer}