Changeset 03d416f for doc/bibliography
- Timestamp:
- Oct 27, 2016, 8:37:17 PM (8 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- 837f999
- Parents:
- 6d7c3df
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/cfa.bib
r6d7c3df r03d416f 21 21 % tcs: Theoretical Computer Science 22 22 @string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"} 23 % @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."} 23 24 @string{ieeese="IEEE Transactions on Software Engineering"} 25 % @string{ieeese="IEEE Trans. Softw. Eng."} 24 26 @string{spe="Software---\-Practice and Experience"} 27 % @string{spe="Softw. Pract. Exp."} 28 @string{ccpe="Concurrency and Computation: Practice and Experience"} 29 % @string{ccpe="Concurrency Comput. Pract. Exp."} 25 30 @string{sigplan="SIGPLAN Notices"} 31 % @string{sigplan="SIGPLAN Not."} 26 32 @string{joop="Journal of Object-Oriented Programming"} 33 % @string{joop="J. of Object-Oriented Program."} 27 34 @string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"} 28 35 @string{osr="Operating Systems Review"} 29 36 @string{pldi="Programming Language Design and Implementation"} 37 @string{mathann="Mathematische Annalen"} 38 % @string{mathann="Math. Ann."} 30 39 31 40 % A … … 39 48 booktitle = {Parallel Programming in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, 40 49 publisher = {MIT Press}, 50 address = {New York}, 41 51 series = {Scientific and Engineering Computation Series}, 42 52 year = 1996, … … 120 130 year = 1996, 121 131 pages = {483-499}, 122 publisher = {Addison-Wesley Longman Publishing Co., Inc.},123 address = {Boston , MA, USA},132 publisher = {Addison-Wesley Longman Publishing}, 133 address = {Boston}, 124 134 } 125 135 … … 161 171 author = {Gul A. Agha}, 162 172 title = {Actors: A Model of Concurrent Computation in Distributed Systems}, 163 publisher = {MIT Press, Cambridge , Mass.},173 publisher = {MIT Press, Cambridge}, 164 174 year = 1986 165 175 } … … 311 321 publisher = {Microsoft Press}, 312 322 year = 1997, 313 edition = { third},323 edition = {3rd}, 314 324 } 315 325 … … 325 335 year = 1977, 326 336 pages = {604-605}, 337 } 338 339 @manual{Akka, 340 keywords = {Akka actor model}, 341 contributer = {pabuhr@plg}, 342 title = {{A}kka {S}cala Documentation, Release 2.4.11}, 343 organization= {Lightbend Inc.}, 344 month = sep, 345 year = 2016, 346 note = {\href{http://doc.akka.io/docs/akka/2.4/AkkaScala.pdf}{http://\-doc.akka.io/\-docs/\-akka/\-2.4/\-AkkaScala.pdf}}, 327 347 } 328 348 … … 378 398 author = {M. Raynal}, 379 399 title = {Algorithms for Mutual Exclusion}, 380 publisher = { TheMIT Press},381 address = {Cambridge , Massachusetts},400 publisher = {MIT Press}, 401 address = {Cambridge}, 382 402 series = {Scientific Computation Series}, 383 403 year = 1986, … … 394 414 pages = {329-342}, 395 415 publisher = {Springer}, 416 address = {New York}, 396 417 year = 2005, 397 418 volume = 3669, … … 404 425 editor = {Richard L. Sites}, 405 426 title = {Alpha Architecture Reference Manual}, 406 publisher = {Digital Press, One Burlington Woods Drive, Burlington, MA, U. S. A., 01803},427 publisher = {Digital Press, Burlington}, 407 428 year = 1992, 408 429 } … … 413 434 editor = {Mary Shaw}, 414 435 title = {{ALPHARD}: Form and Content}, 415 publisher = {Springer-Verlag}, 436 publisher = {Springer}, 437 address = {New York}, 416 438 year = 1981, 417 439 comment = {Collection of papers about Alphard.} … … 470 492 editor = {Gul Agha and Peter Wegner and Akinori Yonezawa}, 471 493 publisher = {MIT Press}, 494 address = {New York}, 472 495 year = 1993, 473 496 pages = {107-150}, … … 495 518 location = {Toulouse, France}, 496 519 doi = {http://doi.acm.org/10.1145/318773.319251}, 497 publisher = {Springer -Verlag},520 publisher = {Springer}, 498 521 address = {London, UK}, 499 522 } … … 504 527 title = {The Annotated {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Reference Manual}, 505 528 publisher = {Addison-Wesley}, 529 address = {Boston}, 506 530 year = 1990, 507 edition = { first},531 edition = {1st}, 508 532 } 509 533 … … 567 591 year = 2008, 568 592 isbn = {0123705916, 9780123705914}, 569 publisher = {Morgan Kaufmann Publishers Inc.},570 address = {San Francisco , CA, USA},593 publisher = {Morgan Kaufmann Publishers}, 594 address = {San Francisco}, 571 595 } 572 596 … … 747 771 } 748 772 773 @misc{BoostCoroutines15, 774 keywords = {Boost Coroutine Library}, 775 contributer = {pabuhr@plg}, 776 author = {Oliver Kowalke}, 777 title = {Boost Coroutine Library}, 778 year = 2015, 779 note = {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html} 780 {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}} [Accessed September 2016]}, 781 } 782 749 783 @mastersthesis{Krischer02, 750 784 author = {Roy Krischer }, … … 779 813 editor = {C. Dony and J. L. Knudsen and A. Romanovsky and A. Tripathi}, 780 814 booktitle = {Advanced Topics in Exception Handling Techniques}, 781 publisher = {Springer -Verlag},815 publisher = {Springer}, 782 816 series = {Lecture Notes in Computer Science}, 783 817 volume = 4119, … … 793 827 author = {Brian W. Kernighan and Dennis M. Ritchie}, 794 828 title = {The {C} Programming Language}, 795 publisher = {Prentice Hall}, 829 publisher = {Prentice-Hall}, 830 address = {Englewood Cliffs}, 796 831 year = 1988, 797 edition = { second},798 series = {Prentice 832 edition = {2nd}, 833 series = {Prentice-Hall Software Series}, 799 834 comment = { 800 835 based on draft-proposed ANSI C … … 807 842 author = {Brian W. Kernighan and Dennis M. Ritchie}, 808 843 title = {The {C} Programming Language}, 809 publisher = {Prentice Hall}, 844 publisher = {Prentice-Hall}, 845 address = {Englewood Cliffs}, 810 846 year = 1978, 811 edition = { first},847 edition = {1st}, 812 848 } 813 849 … … 835 871 836 872 @manual{C++Concepts, 837 keywords= {ISO/IEC TS 19217:2015},838 contributer= {a3moss@uwaterloo.ca},839 key= {C++ Concepts},840 title= {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts},841 organization= {International Standard ISO/IEC TS 19217:2015},842 publisher= {International Standard Organization},843 address= {http://www.iso.org},844 year= 2015873 keywords = {ISO/IEC TS 19217:2015}, 874 contributer = {a3moss@uwaterloo.ca}, 875 key = {C++ Concepts}, 876 title = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts}, 877 organization= {International Standard ISO/IEC TS 19217:2015}, 878 publisher = {International Standard Organization}, 879 address = {http://www.iso.org}, 880 year = 2015 845 881 } 846 882 … … 914 950 title = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Primer}, 915 951 publisher = {Addison-Wesley}, 952 address = {Boston}, 916 953 year = 1991, 917 edition = { second},954 edition = {2nd}, 918 955 note = {QA76.73.C15L57}, 919 956 } … … 925 962 title = {The {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language}, 926 963 publisher = {Addison-Wesley}, 964 address = {Boston}, 927 965 year = 1986, 928 edition = { first},966 edition = {1st}, 929 967 series = {Addison-Wesley Series in Computer Science} 930 968 } … … 936 974 title = {The {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language}, 937 975 publisher = {Addison-Wesley}, 976 address = {Boston}, 938 977 year = 1991, 939 edition = { second},978 edition = {2nd}, 940 979 } 941 980 … … 945 984 author = {Bjarne Stroustrup}, 946 985 title = {The {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language}, 947 publisher = {Addison -Wesley},986 publisher = {Addison Wesley Longman}, 948 987 year = 1997, 949 edition = { third},988 edition = {3rd}, 950 989 } 951 990 … … 1002 1041 title = {Classics in Software Engineering}, 1003 1042 publisher = {Yourdon Press}, 1043 address = {New York}, 1004 1044 year = 1979, 1005 1045 } … … 1042 1082 Moss and J. Craig Schaffert and Robert Scheifler and Alan Snyder}, 1043 1083 title = {CLU Reference Manual}, 1044 publisher = {Springer-Verlag}, 1084 publisher = {Springer}, 1085 address = {New York}, 1045 1086 year = 1981, 1046 1087 volume = 114, … … 1053 1094 key = {Cobol14}, 1054 1095 title = {Programming Languages -- {Cobol}}, 1055 edition = { second},1096 edition = {2nd}, 1056 1097 organization= {International Standard ISO/IEC 1989:2014}, 1057 1098 publisher = {International Standard Organization}, … … 1106 1147 title = {Commentary on Standard {ML}}, 1107 1148 publisher = {MIT Press}, 1108 address = {Cambridge , Massachusetts, U.S.A.},1149 address = {Cambridge}, 1109 1150 year = 1991 1110 1151 } … … 1132 1173 year = 1987, 1133 1174 pages = {151-170}, 1134 publisher = {Springer -Verlag}1175 publisher = {Springer} 1135 1176 } 1136 1177 … … 1138 1179 keywords = {common lisp}, 1139 1180 contributer = {pabuhr@plg}, 1140 author = {G .Steele},1181 author = {Guy Steele}, 1141 1182 title = {COMMON LISP: The Language}, 1142 1183 publisher = {Digital Press}, 1184 address = {New York}, 1143 1185 year = 1984 1144 1186 } … … 1183 1225 year = 1985, 1184 1226 isbn = {0-13-153271-5}, 1185 publisher = {Prentice-Hall , Inc.},1227 publisher = {Prentice-Hall}, 1186 1228 address = {Upper Saddle River, NJ, USA}, 1187 1229 note = {\href{http://www.usingcsp.com/cspbook.pdf}{http://\-www.usingcsp.com/\-cspbook.pdf}}, … … 1202 1244 author = {Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman}, 1203 1245 title = {Compilers: Principles, Techniques, and Tools}, 1204 edition = { second},1246 edition = {2nd}, 1205 1247 year = {2006}, 1206 publisher = {Addison-Wesley Longman Publishing Co., Inc.},1248 publisher = {Addison-Wesley Longman Publishing}, 1207 1249 address = {Boston, MA, USA}, 1208 1250 } … … 1212 1254 contributer = {pabuhr@plg}, 1213 1255 author = {David F. Bacon and Susan L. Graham and Oliver J. Sharp}, 1214 title = {Compiler Transformations for High-Performance Com puting},1256 title = {Compiler Transformations for High-Performance Com\-puting}, 1215 1257 journal = acmcs, 1216 1258 volume = 26, … … 1250 1292 month = sep, 1251 1293 address = {Waterloo, Ontario, Canada, N2L 3G1}, 1252 note = { {\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-MokThesis.ps.gz}}},1294 note = {\href{http://plg.uwaterloo.ca/theses/MokThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-MokThesis.pdf}}, 1253 1295 } 1254 1296 … … 1328 1370 editor = {P. E. Lauer}, 1329 1371 pages = {165-198}, 1330 publisher = {Springer -Verlag},1372 publisher = {Springer}, 1331 1373 address = {Berlin, DE}, 1332 1374 year = 1993, … … 1393 1435 month = jul, 1394 1436 year = 2015, 1395 note = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{\textsf{http:// plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}},1437 note = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{\textsf{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}}, 1396 1438 } 1397 1439 … … 1401 1443 author = {Alan Burns and Geoff Davies}, 1402 1444 title = {Concurrent Programming}, 1403 publisher = {Addison -Wesley},1445 publisher = {Addison Wesley Longman}, 1404 1446 year = 1993, 1405 1447 } … … 1424 1466 title = {Concurrent Programming in {J}ava: Design Principles and Patterns}, 1425 1467 publisher = {Addison-Wesley}, 1468 address = {Boston}, 1426 1469 year = 1997, 1427 edition = { first},1470 edition = {1st}, 1428 1471 } 1429 1472 … … 1435 1478 publisher = {Oxford University Press}, 1436 1479 year = 1998, 1437 edition = { first},1480 edition = {1st}, 1438 1481 } 1439 1482 … … 1444 1487 title = {Concurrent Programming in {J}ava: Design Principles and Patterns}, 1445 1488 publisher = {Addison-Wesley}, 1489 address = {Boston}, 1446 1490 year = 2000, 1447 edition = { second},1491 edition = {2nd}, 1448 1492 } 1449 1493 … … 1453 1497 author = {N. H. Gehani and W. D. Roome}, 1454 1498 title = {The {Concurrent C} Programming Language}, 1455 publisher = {Silicon Press, NJ}, 1499 publisher = {Silicon Press}, 1500 address = {Summit}, 1456 1501 year = 1989, 1457 1502 } … … 1462 1507 author = {Gregory R. Andrews}, 1463 1508 title = {Concurrent Programming: Principles and Practice}, 1464 publisher = {Benjamin/Cummings Publishing Company, Inc., Redwood City, California}, 1509 publisher = {Benjamin/Cummings Publish\-ing}, 1510 address = {Redwood City}, 1465 1511 year = 1991, 1466 1512 } … … 1471 1517 author = {Peter A. Buhr and Ashif S. Harji}, 1472 1518 title = {Concurrent Urban Legends}, 1473 journal = {Concurrency and Computation: Practice and Experience},1519 journal = ccpe, 1474 1520 month = aug, 1475 1521 year = 2005, … … 1497 1543 publisher = {Cambridge University Press}, 1498 1544 year = 1998, 1499 edition = { second},1545 edition = {2nd}, 1500 1546 } 1501 1547 … … 1514 1560 title = {Condition Handling in the Lisp Language Family}, 1515 1561 booktitle = {Exception Handling}, 1516 publisher = {Springer -Verlag},1562 publisher = {Springer}, 1517 1563 volume = 2022, 1518 1564 series = {LNCS}, … … 1527 1573 title = {Conformace, Genericity, Inheritance and Enhancement}, 1528 1574 pages = {223-233}, 1529 publisher = {Springer -Verlag},1575 publisher = {Springer}, 1530 1576 year = 1987, 1531 1577 volume = 276, … … 1636 1682 1637 1683 @unpublished{Ditchfield:conversions, 1638 contributer = {a3moss@uwaterloo.ca}, 1639 author = {Glen Ditchfield}, 1640 title = {Conversions for {Cforall}}, 1641 note = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}}, 1642 month = {Nov}, 1643 year = {2002}, 1644 urldate = {28 July 2016}, 1645 } 1646 1684 contributer = {a3moss@uwaterloo.ca}, 1685 author = {Glen Ditchfield}, 1686 title = {Conversions for {Cforall}}, 1687 note = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}}, 1688 month = {Nov}, 1689 year = {2002}, 1690 urldate = {28 July 2016}, 1691 } 1647 1692 1648 1693 @techreport{Dijkstra65, … … 1662 1707 author = {Christopher D. Marlin}, 1663 1708 title = {Coroutines: A Programming Methodology, a Language Design and an Implementation}, 1664 publisher = {Springer-Verlag}, 1709 publisher = {Springer}, 1710 address = {New York}, 1665 1711 year = 1980, 1666 1712 volume = 95, … … 1699 1745 publisher = {Benjamin Cummings}, 1700 1746 year = 1991, 1747 } 1748 1749 @article{Moore75, 1750 keywords = {approximation methods, integrated circuits}, 1751 contributer = {pabuhr@plg}, 1752 author = {Gordon E. Moore}, 1753 title = {Progress in Digital Integrated Electronics}, 1754 journal = {Technical Digest, International Electron Devices Meeting, IEEE}, 1755 year = 1975, 1756 pages = {11-13}, 1701 1757 } 1702 1758 … … 1840 1896 title = {The Definition of Standard {ML}}, 1841 1897 publisher = {MIT Press}, 1842 address = {Cambridge , Massachusetts, U.S.A.},1898 address = {Cambridge}, 1843 1899 year = 1990 1844 1900 } … … 1870 1926 author = {Peter A. Buhr and David Dice and Wim H. Hesselink}, 1871 1927 title = {Dekker's Mutual Exclusion Algorithm Made RW-Safe}, 1872 journal = {Concurrency and Computation: Practice and Experience},1928 journal = ccpe, 1873 1929 volume = 28, 1874 1930 number = 1, … … 1920 1976 title = {The Design and Evolution of {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, 1921 1977 publisher = {Addison-Wesley}, 1978 address = {Boston}, 1922 1979 year = 1994 1923 1980 } … … 1977 2034 author = {G. Motet and A. Mapinard and J. C. Geoffroy}, 1978 2035 title = {Design of Dependable {A}da Software}, 1979 publisher = {Prentice Hall}, 2036 publisher = {Prentice-Hall}, 2037 address = {Englewood Cliffs}, 1980 2038 year = 1996, 1981 2039 } … … 2012 2070 title = {Design Patterns: Elements of Reusable Object-Oriented Software}, 2013 2071 publisher = {Addison-Wesley}, 2072 address = {Boston}, 2014 2073 year = 1995, 2015 2074 series = {Professional Computing Series}, … … 2054 2113 author = {Ralph E. Johnson and Brian Foote}, 2055 2114 title = {Designing Reusable Classes}, 2056 journal = {Journal of Object-Oriented Programming},2115 journal = joop, 2057 2116 year = 1988, 2058 2117 volume = 1, number = 2, pages = {22-35}, … … 2109 2168 title = {A Discipline of Programming}, 2110 2169 publisher = {Prentice-Hall}, 2170 address = {Englewood Cliffs}, 2111 2171 year = 1976, 2112 2172 } … … 2125 2185 title = {Distributed Systems: Principles and Paradigms}, 2126 2186 publisher = {Prentice-Hall}, 2187 address = {Englewood Cliffs}, 2127 2188 year = 2002, 2128 2189 } … … 2253 2314 title = {Eiffel: The Language}, 2254 2315 publisher = {Prentice-Hall}, 2316 address = {Englewood Cliffs}, 2255 2317 year = 1992, 2256 series = {Prentice 2318 series = {Prentice-Hall Object-Oriented Series}, 2257 2319 } 2258 2320 … … 2388 2450 month = jun, 2389 2451 year = 2015, 2390 note = {\href{http://www.erlang.org/doc/pdf/otp-system-documentation.pdf}{\textsf{http://www.erlang.org/\-doc/\-pdf/\-otp-system- documentation.pdf}}},2452 note = {\href{http://www.erlang.org/doc/pdf/otp-system-documentation.pdf}{\textsf{http://www.erlang.org/\-doc/\-pdf/\-otp-system-\-documentation.pdf}}}, 2391 2453 } 2392 2454 … … 2467 2529 booktitle = {Advances in COMPUTERS}, 2468 2530 publisher = {Academic Press}, 2531 address = {London}, 2469 2532 volume = 56, 2470 2533 year = 2002, … … 2561 2624 title = {Exception Handling in Parallel Computations}, 2562 2625 journal = sigplan, 2626 publisher = {ACM}, 2627 address = {New York, NY, USA}, 2563 2628 volume = 20, 2564 2629 number = 10, 2565 2630 month = oct, 2566 2631 year = 1985, 2567 issn = {0362-1340},2568 2632 pages = {95-104}, 2569 url = {http://doi.acm.org/10.1145/382286.382385},2570 doi = {http://doi.acm.org/10.1145/382286.382385},2571 acmid = {382385},2572 publisher = {ACM},2573 address = {New York, NY, USA},2574 2633 } 2575 2634 … … 2680 2739 title = {Fault Tolerance and Exception Handling in {BETA}}, 2681 2740 booktitle = {Exception Handling}, 2682 publisher = {Springer -Verlag},2741 publisher = {Springer}, 2683 2742 volume = 2022, 2684 2743 series = {Lecture Notes in Computer Science}, … … 2839 2898 title = {A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation}, 2840 2899 booktitle = {Exception Handling}, 2841 publisher = {Springer -Verlag},2900 publisher = {Springer}, 2842 2901 volume = 2022, 2843 2902 series = {Lecture Notes in Computer Science}, … … 2859 2918 series = {The Art of Computer Programming}, 2860 2919 publisher = {Addison-Wesley}, 2920 address = {Boston}, 2861 2921 year = 1973, 2862 2922 volume = 1, 2863 edition = { second},2923 edition = {2nd}, 2864 2924 } 2865 2925 … … 2912 2972 author = {Richard M. Stallman}, 2913 2973 organization= {Free Software Foundation}, 2914 address = {Cambridge , MA}2974 address = {Cambridge} 2915 2975 } 2916 2976 … … 2952 3012 } 2953 3013 2954 2955 3014 @article{Haskell, 2956 3015 keywords = {lazy evaluation, type class}, … … 2973 3032 organization= {Google}, 2974 3033 year = 2009, 2975 note = {\href{http://golang.org/ref/spec}{http:// golang.org/\-ref/\-spec}},3034 note = {\href{http://golang.org/ref/spec}{http://\-golang.org/\-ref/\-spec}}, 2976 3035 } 2977 3036 … … 3090 3149 author = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini}, 3091 3150 title = {Hermes: A Language for Distributed Computing}, 3092 publisher = {Prentice Hall}, 3151 publisher = {Prentice-Hall}, 3152 address = {Englewood Cliffs}, 3093 3153 series = {Innovative Technology}, 3094 3154 year = 1991, … … 3134 3194 author = {Peter A. Buhr and David Dice and Wim H. Hesselink}, 3135 3195 title = {High-Performance {$N$}-Thread Software Solutions for Mutual Exclusion}, 3136 journal = {Concurrency and Computation: Practice and Experience},3196 journal = ccpe, 3137 3197 volume = 27, 3138 3198 number = 3, … … 3148 3208 title = {Zum Hilbertschen Aufbau der reellen Zahlen}, 3149 3209 publisher = {Springer}, 3150 journal = {Mathematische Annalen},3210 journal = mathann, 3151 3211 number = 1, 3152 3212 volume = 99, … … 3187 3247 title = {The Icon Programming Language}, 3188 3248 publisher = {Prentice-Hall}, 3249 address = {Englewood Cliffs}, 3189 3250 year = 1983, 3190 3251 } … … 3262 3323 issn = {0164-0925}, 3263 3324 pages = {1270--1343}, 3264 doi = {http://doi.acm.org/10.1145/1108970.1108975},3265 3325 publisher = {ACM Press}, 3266 3326 address = {New York, NY, USA}, … … 3277 3337 pages = {55-59}, 3278 3338 issn = {0163-5719}, 3279 doi = {http://doi.acm.org/10.1145/872736.806932}, 3280 } 3339 } 3281 3340 3282 3341 @book{Algol68, … … 3361 3420 title = {Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming}, 3362 3421 publisher = {Addison-Wesley}, 3422 address = {Boston}, 3363 3423 series = {ACM Press Books}, 3364 3424 year = 1996, … … 3434 3494 title = {Introduction to Algorithms}, 3435 3495 publisher = {MIT Press/McGraw-Hill}, 3496 address = {Cambridge}, 3436 3497 series = {Electrical Engineering and Computer Science Series}, 3437 3498 year = 1992, … … 3444 3505 title = {Introduction to Automata Theory, Languages and Computation}, 3445 3506 publisher = {Addison-Wesley}, 3507 address = {Boston}, 3446 3508 year = 1979, 3447 3509 } … … 3476 3538 title = {An Introduction to Operating Systems}, 3477 3539 publisher = {Addison-Wesley}, 3540 address = {Boston}, 3478 3541 year = 1990, 3479 edition = { second},3542 edition = {2nd}, 3480 3543 } 3481 3544 … … 3525 3588 title = {Issues with Exception Hnadling in Object-Oriented Systems}, 3526 3589 booktitle = {ECOOP'97}, 3527 publisher = {Springer -Verlag},3590 publisher = {Springer}, 3528 3591 volume = 1241, 3529 3592 series = {Lecture Notes in Computer Science}, … … 3553 3616 title = {The {Java} Language Specification}, 3554 3617 publisher = {Addison-Wesley}, 3618 address = {Reading}, 3555 3619 year = 2000, 3556 edition = { second},3620 edition = {2nd}, 3557 3621 } 3558 3622 … … 3597 3661 title = {Konstruktion nichtrekursiver Funktionen}, 3598 3662 publisher = {Springer}, 3599 journal = {Mathematische Annalen},3663 journal = mathann, 3600 3664 number = 111, 3601 3665 volume = 1, … … 3740 3804 title = {Lisp 1.5 Primer}, 3741 3805 publisher = {Dickenson Publishing}, 3806 address = {Belmont}, 3742 3807 year = 1967, 3743 3808 } … … 3937 4002 booktitle = {Proceedings of the European Conference on Object Oriented Programming}, 3938 4003 organization= {ECOOP'88}, 3939 publisher = {Springer -Verlag},4004 publisher = {Springer}, 3940 4005 volume = 322, 3941 4006 editor = {S. Gjessing and K. Nygaard}, … … 3979 4044 title = {Modern C++ Design: Generic Programming and Design Patterns Applied}, 3980 4045 publisher = {Addison-Wesley Professional}, 4046 address = {Boston}, 3981 4047 month = feb, 3982 4048 year = 2001, … … 3990 4056 title = {Modern Operating Systems}, 3991 4057 publisher = {Prentice-Hall}, 4058 address = {Englewood Cliffs}, 3992 4059 year = 1992, 3993 4060 } … … 4310 4377 title = {Nesting in an Object Oriented Language is NOT for the Birds}, 4311 4378 booktitle = {Proceedings of the European Conference on Object Oriented Programming}, 4312 publisher = {Springer -Verlag},4379 publisher = {Springer}, 4313 4380 volume = 322, 4314 4381 editor = {S. Gjessing and K. Nygaard}, … … 4437 4504 editor = {S. Gjessing and K. Nygaard}, 4438 4505 organization= {DND, The Norwegian Computer Society}, 4439 publisher = {Springer -Verlag},4506 publisher = {Springer}, 4440 4507 comment = { 4441 4508 Objectives: … … 4472 4539 title = {Object-oriented programming; an evolutionary approach}, 4473 4540 publisher = {Addison-Wesley}, 4541 address = {Boston}, 4474 4542 year = 1986 4475 4543 } … … 4481 4549 title = {Object-oriented Programming in the {BETA} Programming Language}, 4482 4550 publisher = {Addison-Wesley}, 4551 address = {Boston}, 4483 4552 year = 1993, 4484 4553 } … … 4512 4581 author = {Bertrand Meyer}, 4513 4582 title = {Object-oriented Software Construction}, 4514 publisher = {Prentice Hall}, 4583 publisher = {Prentice-Hall}, 4584 address = {Englewood Cliffs}, 4515 4585 year = {1988}, 4516 series = {Prentice 4586 series = {Prentice-Hall International Series in Computer Science}, 4517 4587 } 4518 4588 … … 4541 4611 author = {John Galletly}, 4542 4612 title = {{OCCAM} 2: Including {OCCAM} 2.1}, 4543 publisher = {{UCL} (University College London) Press Ltd.}, 4544 edition = {second}, 4613 publisher = {{UCL} (University College London) Press}, 4614 address = {London}, 4615 edition = {2nd}, 4545 4616 year = 1996, 4546 4617 } … … 4602 4673 month = jul, 4603 4674 year = 2013, 4604 note = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{\textsf{http:// www.openmp.org/mp-documents/OpenMP4.0.0.pdf}}},4675 note = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{\textsf{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}}}, 4605 4676 } 4606 4677 … … 4611 4682 title = {Operating Systems}, 4612 4683 publisher = {Pearson Prentice-Hall}, 4684 address = {Englewood Cliffs}, 4613 4685 year = 2004, 4614 edition = { third},4686 edition = {3rd}, 4615 4687 } 4616 4688 … … 4621 4693 title = {Operating Systems: Internals and Design Principles}, 4622 4694 publisher = {Prentice-Hall}, 4695 address = {Englewood Cliffs}, 4623 4696 year = 1998, 4624 edition = { third},4697 edition = {3rd}, 4625 4698 } 4626 4699 … … 4631 4704 title = {Operating Systems: Internals and Design Principles}, 4632 4705 publisher = {Prentice-Hall}, 4706 address = {Englewood Cliffs}, 4633 4707 year = 2001, 4634 edition = { fourth},4708 edition = {4th}, 4635 4709 } 4636 4710 … … 4641 4715 title = {Operating System Concepts}, 4642 4716 publisher = {Addision-Wesley}, 4717 address = {Boston}, 4643 4718 year = 1991, 4644 edition = { third},4719 edition = {3rd}, 4645 4720 } 4646 4721 … … 4651 4726 title = {Operating Systems : Design and Implementation}, 4652 4727 publisher = {Prentice-Hall}, 4728 address = {Englewood Cliffs}, 4653 4729 series = {Software Series}, 4654 4730 year = 1987, … … 4661 4737 title = {Operating System Principles}, 4662 4738 publisher = {Prentice-Hall}, 4739 address = {Englewood Cliffs}, 4663 4740 year = 1973, 4664 4741 } … … 4670 4747 title = {Operating System Principles}, 4671 4748 publisher = {Prentice-Hall}, 4749 address = {Englewood Cliffs}, 4672 4750 year = 2003, 4673 4751 } … … 4686 4764 4687 4765 @article{Ganzinger80, 4688 contributer= {a3moss@uwaterloo.ca},4689 author= {Ganzinger, Harald and Ripken, Knut},4690 title= {Operator Identification in {ADA}: Formal Specification, Complexity, and Concrete Implementation},4691 journal= {SIGPLAN Notices},4692 issue_date= {February 1980},4693 volume= {15},4694 number= {2},4695 month= feb,4696 year= {1980},4697 issn= {0362-1340},4698 pages= {30--42},4699 numpages= {13},4700 url= {http://doi.acm.org/10.1145/947586.947589},4701 doi= {10.1145/947586.947589},4702 publisher= {ACM},4703 address= {New York, NY, USA}4766 contributer = {a3moss@uwaterloo.ca}, 4767 author = {Ganzinger, Harald and Ripken, Knut}, 4768 title = {Operator Identification in {ADA}: Formal Specification, Complexity, and Concrete Implementation}, 4769 journal = {SIGPLAN Notices}, 4770 issue_date = {February 1980}, 4771 volume = {15}, 4772 number = {2}, 4773 month = feb, 4774 year = {1980}, 4775 issn = {0362-1340}, 4776 pages = {30--42}, 4777 numpages = {13}, 4778 url = {http://doi.acm.org/10.1145/947586.947589}, 4779 doi = {10.1145/947586.947589}, 4780 publisher = {ACM}, 4781 address = {New York, NY, USA} 4704 4782 } 4705 4783 … … 4723 4801 title = {{OS} and {DOS} {PL/I} Reference Manual}, 4724 4802 organization= {International Business Machines}, 4725 edition = { first},4803 edition = {1st}, 4726 4804 month = sep, 4727 4805 year = 1981, … … 4843 4921 booktitle = {Parallel Programming in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, 4844 4922 publisher = {MIT Press}, 4845 address = {Cambridge , MA, USA},4923 address = {Cambridge}, 4846 4924 series = {Scientific and Engineering Computation Series}, 4847 4925 pages = {507-546}, … … 4922 5000 publisher = {Springer--Verlag}, 4923 5001 year = 1985, 4924 edition = { third},5002 edition = {3rd}, 4925 5003 note = {Revised by Andrew B. Mickel and James F. Miner, ISO Pascal Standard} 4926 5004 } … … 4933 5011 publisher = {Springer--Verlag}, 4934 5012 year = 1975, 4935 edition = { first},5013 edition = {1st}, 4936 5014 } 4937 5015 … … 4955 5033 title = {{P}ascal/{VS} Language Reference Manual}, 4956 5034 organization= {International Business Machines}, 4957 edition = { first},5035 edition = {1st}, 4958 5036 year = 1981, 4959 5037 note = {Manual SH20-6168-1}, … … 5107 5185 title = {Principles of Concurrent Programming}, 5108 5186 publisher = {Prentice-Hall International}, 5187 address = {Englewood Cliffs}, 5109 5188 year = 1982, 5110 5189 } … … 5114 5193 title = {Principles of Programming Languages}, 5115 5194 publisher = {Prentice-Hall International}, 5195 address = {Englewood Cliffs}, 5116 5196 year = 1981, 5117 5197 series = {Series in Computer Science} … … 5185 5265 title = {Programming with {POSIX} Threads}, 5186 5266 publisher = {Addison-Wesley}, 5267 address = {Boston}, 5187 5268 series = {Professional Computing}, 5188 5269 year = 1997, … … 5194 5275 author = {J. T. Schwartz and R. B. K. Dewar and E. Dubinsky and E. Schonberg}, 5195 5276 title = {Programming with Sets: An Introduction to {SETL}}, 5196 publisher = {Springer -Verlag},5277 publisher = {Springer}, 5197 5278 year = 1986, 5198 5279 } … … 5235 5316 key = {C++14}, 5236 5317 title = {Programming Languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, 5237 edition = { fourth},5318 edition = {4th}, 5238 5319 organization= {International Standard ISO/IEC 14882:2014 (E)}, 5239 5320 publisher = {International Standard Organization}, … … 5329 5410 author = {Niklaus Wirth}, 5330 5411 title = {Programming in Modula-2}, 5331 publisher = {Springer-Verlag}, 5412 publisher = {Springer}, 5413 address = {New York}, 5332 5414 year = 1988, 5333 edition = { fourth},5415 edition = {4th}, 5334 5416 series = {Texts and Monographs in Computer Science}, 5335 5417 } … … 5343 5425 month = feb, 5344 5426 year = 1983, 5345 note = { Published by Springer-Verlag}5427 note = {Springer, New York}, 5346 5428 } 5347 5429 … … 5351 5433 title = {The Programming Language {Ada}: Reference Manual}, 5352 5434 organization= {United States Department of Defense}, 5353 publisher = {Springer -Verlag},5435 publisher = {Springer}, 5354 5436 year = 1981 5355 5437 } … … 5505 5587 5506 5588 @article{Grossman06, 5507 keywords= {Cyclone, existential types, polymorphism, type variables},5508 contributer= {a3moss@plg},5509 author= {Grossman, Dan},5510 title= {Quantified Types in an Imperative Language},5511 journal= toplas,5512 issue_date= {May 2006},5513 volume= {28},5514 number= {3},5515 month= may,5516 year= {2006},5517 issn= {0164-0925},5518 pages= {429--475},5519 numpages= {47},5520 url= {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},5521 doi= {10.1145/1133651.1133653},5522 acmid= {1133653},5523 publisher= {ACM},5524 address= {New York, NY, USA},5589 keywords = {Cyclone, existential types, polymorphism, type variables}, 5590 contributer = {a3moss@plg}, 5591 author = {Grossman, Dan}, 5592 title = {Quantified Types in an Imperative Language}, 5593 journal = toplas, 5594 issue_date = {May 2006}, 5595 volume = {28}, 5596 number = {3}, 5597 month = may, 5598 year = {2006}, 5599 issn = {0164-0925}, 5600 pages = {429--475}, 5601 numpages = {47}, 5602 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653}, 5603 doi = {10.1145/1133651.1133653}, 5604 acmid = {1133653}, 5605 publisher = {ACM}, 5606 address = {New York, NY, USA}, 5525 5607 } 5526 5608 … … 5569 5651 title = {{A}da Reference Manual}, 5570 5652 edition = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}}, 5571 organization 5653 organization= {Intermetrics, Inc.}, 5572 5654 month = dec, 5573 5655 year = 1995, … … 5579 5661 contributer = {pabuhr@plg}, 5580 5662 title = {Programming languages -- {Ada}}, 5581 edition = { third},5663 edition = {3rd}, 5582 5664 organization= {International Standard ISO/IEC 1989:2014}, 5583 5665 publisher = {International Standard Organization}, … … 5604 5686 series = {The Real-Time for Java Expert Group, {\small\textsf{http://\-www.rtj.org}}}, 5605 5687 publisher = {Addison-Wesley}, 5688 address = {Boston}, 5606 5689 year = 2000, 5607 5690 } … … 5755 5838 % S 5756 5839 5840 @manual{Scala, 5841 keywords = {Scala programming language}, 5842 contributer = {pabuhr@plg}, 5843 title = {{Scala} Language Specification, Version 2.11}, 5844 organization= {\'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne}, 5845 year = 2016, 5846 note = {\href{http://www.scala-lang.org/files/archive/spec/2.11}{http://\-www.scala-lang.org/\-files/\-archive/\-spec/\-2.11}}, 5847 } 5848 5757 5849 @inproceedings{Michael04, 5758 5850 keywords = {lock free, dynamic memory allocation}, … … 5802 5894 pages = {51-67}, 5803 5895 editor = {G. Kahn and D. B. MacQueen and G. D. Plotkin}, 5804 publisher = {Springer -Verlag},5896 publisher = {Springer}, 5805 5897 note = {Lecture Notes in Computer Science v. 173}, 5806 5898 } … … 5852 5944 month = may, 5853 5945 year = 2001, 5854 note = { {\small\textsf{http://www.python.org/peps/pep-0255.html}}},5946 note = {\href{http://www.python.org/peps/pep-0255.html}{http://\-www.python.org/\-peps/\-pep-0255.html}}, 5855 5947 } 5856 5948 … … 5871 5963 5872 5964 @article{Pennello80, 5873 contributer= {a3moss@uwaterloo.ca},5874 author= {Pennello, Tom and DeRemer, Frank and Meyers, Richard},5875 title= {A Simplified Operator Identification Scheme for {Ada}},5876 journal= {SIGPLAN Notices},5877 issue_date= {July-August 1980},5878 volume= {15},5879 number= {7 and 8},5880 month= jul,5881 year= {1980},5882 issn= {0362-1340},5883 pages= {82--87},5884 numpages= {6},5885 url= {http://doi.acm.org/10.1145/947680.947688},5886 doi= {10.1145/947680.947688},5887 publisher= {ACM},5888 address= {New York, NY, USA},5965 contributer = {a3moss@uwaterloo.ca}, 5966 author = {Pennello, Tom and DeRemer, Frank and Meyers, Richard}, 5967 title = {A Simplified Operator Identification Scheme for {Ada}}, 5968 journal = {SIGPLAN Notices}, 5969 issue_date = {July-August 1980}, 5970 volume = {15}, 5971 number = {7 and 8}, 5972 month = jul, 5973 year = {1980}, 5974 issn = {0362-1340}, 5975 pages = {82--87}, 5976 numpages = {6}, 5977 url = {http://doi.acm.org/10.1145/947680.947688}, 5978 doi = {10.1145/947680.947688}, 5979 publisher = {ACM}, 5980 address = {New York, NY, USA}, 5889 5981 } 5890 5982 … … 5927 6019 year = {1980}, 5928 6020 address = {Lund, Sweden}, 5929 edition = { second},6021 edition = {2nd}, 5930 6022 } 5931 6023 5932 6024 @book{Simula67, 5933 author = "O-J Dahl and B. Myhrhaug and K. Nygaard",5934 address = "Oslo Norway",6025 author = {O-J Dahl and B. Myhrhaug and K. Nygaard}, 6026 title = {Simula67 Common Base Language}, 5935 6027 month = oct, 5936 6028 year = 1970, 5937 publisher = "Norwegian Computing Center",5938 title = "Simula67 Common Base Language"6029 publisher = {Norwegian Com\-puting Center}, 6030 address = {Oslo Norway}, 5939 6031 } 5940 6032 … … 5945 6037 title = {Smalltalk-80: The Language and its Implementation}, 5946 6038 publisher = {Addison-Wesley}, 6039 address = {Reading}, 5947 6040 year = 1983 5948 6041 } … … 5966 6059 author = {R. E. Griswold and J. F. Poage and I. P. Polonsky}, 5967 6060 title = {The SNOBOL4 Programming Language}, 5968 edition = { second},6061 edition = {2nd}, 5969 6062 publisher = {Prentice-Hall}, 6063 address = {Englewood Cliffs}, 5970 6064 year = 1971, 5971 6065 } … … 6073 6167 author = {R. H. Campbell and A. N. Habermann}, 6074 6168 title = {The Specification of Process Synchronization by Path Expressions}, 6075 publisher = {Springer -Verlag},6169 publisher = {Springer}, 6076 6170 year = 1974, 6077 6171 volume = 16, … … 6117 6211 title = {A Standard {ML} Compiler}, 6118 6212 booktitle = {Functional Programming Languages and Computer Architecture}, 6119 publisher = {Springer -Verlag},6213 publisher = {Springer}, 6120 6214 series = {Lecture Notes in Computer Science}, 6121 6215 volume = 274, … … 6172 6266 title = {Structured Concurrent Programming with Operating System Applications}, 6173 6267 publisher = {Addison-Wesley}, 6268 address = {Boston}, 6174 6269 year = 1978, 6175 6270 } … … 6320 6415 author = {Gadi Taubenfeld}, 6321 6416 title = {Synchronization Algorithms and Concurrent Programming}, 6322 publisher = {Pearson/Prentice Hall}, 6417 publisher = {Pearson/Prentice-Hall}, 6418 address = {Harlow, England}, 6323 6419 year = 2006, 6324 6420 } … … 6380 6476 author = {Andrew Birrell and Mark R. Brown and Luca Cardelli and Jim Donahue and Lucille Glassman and John Gutag and Jim Harning and Bill Kalsow and Roy Levin and Greg Nelson}, 6381 6477 title = {Systems Programming with Modula-3}, 6382 publisher = {Prentice-Hall, Inc.}, 6478 publisher = {Prentice-Hall}, 6479 address = {Englewood Cliffs}, 6383 6480 year = 1991, 6384 series = {Prentice 6481 series = {Prentice-Hall Series in Innovative Technology} 6385 6482 } 6386 6483 … … 6464 6561 pages = {408-423}, 6465 6562 editor = {B. Robinet}, 6466 publisher = {Springer -Verlag},6563 publisher = {Springer}, 6467 6564 note = {Lecture Notes in Computer Science, v. 19}, 6468 6565 abstract = { … … 6546 6643 publisher = {Holt Software Associates Inc.}, 6547 6644 year = 1992, 6548 edition = { third},6645 edition = {3rd}, 6549 6646 } 6550 6647 … … 6566 6663 title = {Tutorial: Programming Language Design}, 6567 6664 publisher = {Computer Society Press}, 6665 address = {Los Alamitos}, 6568 6666 year = 1980 6569 6667 } … … 6635 6733 % U 6636 6734 6637 @ unpublished{uC++book,6638 keywords = {control structure, concurrency },6735 @book{uC++book, 6736 keywords = {control structure, concurrency, uC++}, 6639 6737 contributer = {pabuhr@plg}, 6640 6738 author = {Peter A. Buhr}, 6641 title = {Understanding Control Flow with Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, 6642 year = 1999, 6643 note = {Textbook in preparation} 6739 title = {Understanding Control Flow: Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, 6740 publisher = {Springer}, 6741 address = {Switzerland}, 6742 year = 2016, 6644 6743 } 6645 6744 … … 6664 6763 booktitle = {Proceedings of the International Workshop on Memory Management}, 6665 6764 location = {St. Malo, France}, 6666 publisher = {Springer -Verlag},6765 publisher = {Springer}, 6667 6766 series = {Lecture Notes in Computer Science}, 6668 6767 volume = 637, … … 6788 6887 title = {VAX-11 Architecture Reference Manual}, 6789 6888 publisher = {Digital Press}, 6889 address = {Bedford}, 6790 6890 month = may, 6791 6891 year = 1982, … … 6796 6896 title = {{VAX/VMS} Internals and Data Structures Version 4.4}, 6797 6897 publisher = {Digital Press}, 6898 address = {Bedford}, 6798 6899 year = 1988, 6799 6900 } … … 6805 6906 title = {Verifying a Simplification of Mutual Exclusion by {L}ycklama--{H}adzilacos}, 6806 6907 journal = {Acta Informatica}, 6807 publisher = {Springer-Verlag}, 6908 publisher = {Springer}, 6909 address = {New York}, 6808 6910 year = {2013}, 6809 6911 volume = {50}, … … 6871 6973 month = jun, 6872 6974 year = 1985, 6873 note = {\ textsf{http://www.hpl.hp.com/\-techreports/\-tandem/\-TR-85.7.pdf}},6975 note = {\href{http://www.hpl.hp.com/techreports/tandem/TR-85.7.pdf}{http://www.hpl.hp.com/\-techreports/\-tandem/\-TR-85.7.pdf}}, 6874 6976 } 6875 6977
Note: See TracChangeset
for help on using the changeset viewer.