1.1 --- a/doc-isac/mlehnfeld/master/thesis/literature.bib Wed Jul 23 14:09:51 2014 +0200
1.2 +++ b/doc-isac/mlehnfeld/master/thesis/literature.bib Wed Jul 23 14:32:19 2014 +0200
1.3 @@ -1,7 +1,7 @@
1.4
1.5 @article{moore1965cramming,
1.6 title={{Cramming More Components onto Integrated Circuits}},
1.7 - author={Moore, Gordon E},
1.8 + author={Moore, Gordon E.},
1.9 year={1965},
1.10 journal={Electronics},
1.11 pages = {114--117},
1.12 @@ -51,10 +51,12 @@
1.13 }
1.14
1.15 @book{burge1975recursive,
1.16 - title={Recursive programming techniques},
1.17 - author={Burge, William H},
1.18 + title={Recursive Programming Techniques},
1.19 + author={Burge, William H.},
1.20 year={1975},
1.21 - publisher={Addison-Wesley Reading}
1.22 + isbn = {0201144506},
1.23 + publisher={Addison-Wesley},
1.24 +
1.25 }
1.26
1.27 @book{paulson1994isabelle,
1.28 @@ -347,7 +349,7 @@
1.29
1.30 @article{moore2008multicore,
1.31 title={Multicore is bad news for supercomputers},
1.32 - author={Moore, Samuel K},
1.33 + author={Moore, Samuel K.},
1.34 journal={Spectrum, IEEE},
1.35 volume={45},
1.36 number={11},
1.37 @@ -455,7 +457,7 @@
1.38 }
1.39
1.40 @inproceedings{nocker1991concurrent,
1.41 - author = {N\"{o}cker, E. G. J. M. H. and Smesters, J. E. W. and van Eekelen, M. C. J. D. and Plasmeijer, M. J.},
1.42 + author = {N\"{o}cker, Eric and Smesters, J. E. W. and van Eekelen, M. C. J. D. and Plasmeijer, M. J.},
1.43 title = {Concurrent Clean},
1.44 booktitle = {Proceedings on Parallel Architectures and Languages Europe: Volume II: Parallel Languages},
1.45 series = {PARLE '91},
1.46 @@ -576,7 +578,7 @@
1.47 }
1.48
1.49 @inproceedings{matthews2010efficient,
1.50 - author = {Matthews, David C.J. and Wenzel, Makarius},
1.51 + author = {Matthews, David C. J. and Wenzel, Makarius},
1.52 title = {Efficient Parallel Programming in Poly/ML and Isabelle/ML},
1.53 booktitle = {Proceedings of the 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming},
1.54 series = {DAMP '10},
1.55 @@ -672,7 +674,7 @@
1.56
1.57 @patent{zhang2010software,
1.58 title={Software Transaction Commit Order and Conflict Management},
1.59 - author={Zhang, L. and Grover, V.K. and Magruder, M.M. and Detlefs, D. and Duffy, J.J. and Graefe, G.},
1.60 + author={Zhang, Lingli and Grover, Vinod K. and Magruder, Michael M. and Detlefs, David and Duffy, John J. and Graefe, Goetz},
1.61 url={http://www.google.co.in/patents/US7711678},
1.62 year={2010},
1.63 month={5},
1.64 @@ -767,7 +769,7 @@
1.65 }
1.66
1.67 @article{agha1997foundation,
1.68 - author = {Gul Agha and
1.69 + author = {Gul A. Agha and
1.70 Ian A. Mason and
1.71 Scott F. Smith and
1.72 Carolyn L. Talcott},
1.73 @@ -790,7 +792,7 @@
1.74 }
1.75
1.76 @inproceedings{karmani2009actor,
1.77 - author = {Karmani, Rajesh K. and Shali, Amin and Agha, Gul},
1.78 + author = {Karmani, Rajesh K. and Shali, Amin and Agha, Gul A.},
1.79 title = {Actor Frameworks for the JVM Platform: A Comparative Analysis},
1.80 booktitle = {Proceedings of the 7th International Conference on Principles and Practice of Programming in Java},
1.81 series = {PPPJ '09},
1.82 @@ -823,7 +825,7 @@
1.83
1.84 @article{panwar1994methodology,
1.85 author = {Rajendra Panwar and
1.86 - Gul Agha},
1.87 + Gul A. Agha},
1.88 title = {A Methodology for Programming Scalable Architectures},
1.89 journal = {Journal of Parallel and Distributed Computing},
1.90 volume = {22},
1.91 @@ -1142,12 +1144,12 @@
1.92 @online{matthews2014documentation,
1.93 url={http://polyml.org/Doc.html},
1.94 title={Documentation},
1.95 - author={Matthews, David C.J.},
1.96 + author={Matthews, David C. J.},
1.97 year={2014-05-15}
1.98 }
1.99
1.100 @techreport{matthews1995papers,
1.101 - author = {Matthews, David CJ},
1.102 + author = {Matthews, David C. J.},
1.103 title = {{Papers on Poly/ML}},
1.104 year = {1989},
1.105 month = {feb},
1.106 @@ -1156,7 +1158,7 @@
1.107
1.108 @techreport{matthews1991distributed,
1.109 title={A Distributed Concurrent Implementation of Standard ML},
1.110 - author={Matthews, David CJ},
1.111 + author={Matthews, David C. J.},
1.112 year={1991},
1.113 institution={LFCS, Department of Computer Science, University of Edinburgh}
1.114 }
1.115 @@ -1529,7 +1531,7 @@
1.116
1.117 @book{simon1965shape,
1.118 address = {New York},
1.119 - author = {Simon, H. A.},
1.120 + author = {Simon, Herbert A.},
1.121 publisher = {Harper \& Row},
1.122 title = {{The Shape of Automation for Men and Management}},
1.123 year = {1965}
1.124 @@ -1537,9 +1539,10 @@
1.125
1.126 @book{gordon1993introduction,
1.127 title={Introduction to HOL: A theorem proving environment for higher-order logic},
1.128 - author={Gordon, Michael JC and Melham, Tom F},
1.129 + author={Michael J. C. Gordon and Melham, Tom F.},
1.130 year={1993},
1.131 - publisher={Cambridge University Press}
1.132 + publisher={Cambridge University Press},
1.133 + isbn={0521441897}
1.134 }
1.135
1.136 @online{harrison2014hol,
1.137 @@ -1567,14 +1570,14 @@
1.138 title={Historical Overview of the Kepler Conjecture},
1.139 url={http://dx.doi.org/10.1007/978-1-4614-1129-1_3},
1.140 publisher={Springer New York},
1.141 - author={Hales, ThomasC.},
1.142 + author={Hales, Thomas C.},
1.143 pages={65-82},
1.144 language={English}
1.145 }
1.146
1.147 @techreport{sharangpani1994statistical,
1.148 title={Statistical Analysis of Floating Point Flaw in the Pentium Processor},
1.149 - author={Sharangpani, HP and Barton, ML},
1.150 + author={Sharangpani, H. P. and Barton, M. L.},
1.151 institution={Intel Corporation},
1.152 year={1994}
1.153 }