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