Programming Language Pragmatics: Third Edition

Programming Language Pragmatics: Third Edition

Volumn , Issue , 2009, Pages 1-910

  Scott, Michael L ^a,b  

^a University of Rochester   (United States)

^b ASSOCIATION FOR COMPUTING MACHINERY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957766071     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-0-12-374514-9.X0001-8     Document Type: Book

References (435)

1. Alverson Robert, Callahan David, Cummings Daniel, Koblenz Brian, Porterfield Allan, Smith Burton The Tera computer system. Proceedings of the 1990 International Conference on Supercomputing June 1990, 1-6.
2. Amza Cristiana, Cox Alan L., Dwarkadas Sandhya, Keleher Pete, Lu Honghui, Rajamony Ramakrishnan, Yu Weimin, Zwaenepoel Willy Tread-Marks: Shared memory computing on networks of workstations. IEEE Computer February 1996, 29(2):18-28.
3. Ahuja Shakil, Carriero Nicholas, Gelernter David Linda and friends. IEEE Computer August 1986, 19(8):26-34.
4. 5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation 1998, 11(1):7-105. Edited by Richard Kelsey, William Clinger, and Jonathan Rees. Available at. http://www.schemers.org/Documents/Standards/R5RS/.
5. PostScript Language Tutorial and Cookbook 1986, Adobe Systems, Inc., Addison-Wesley.
6. PostScript Language Reference Manual 1990, Adobe Systems, Inc., Addison-Wesley. second edition.
7. Apt Krzysztof R., Francez Nissim Modeling the distributed termination convention of CSP. ACM Transactions on Programming Languages and Systems July 1984, 6(3):370-379.
8. Arnold Matthew, Fink Stephen J., Grove David, Hind Michael, Sweeney Peter F. A survey of adaptive optimization in virtual machines. Proceedings of the IEEE February 2005, 93(2):449-466.
9. Abrahams David, Gurtovoy Aleksey C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond 1990, Addison-Wesley.
10. Adve Sarita V., Gharachorloo Kourosh Shared memory consistency models: A tutorial. IEEE Computer December 1996, 29(12):66-76.
11. Arnold Ken, Gosling James The Java Programming Language 1998, Addison-Wesley. second edition.
12. Agesen Ole, Hölzle Urs Type feedback v. concrete type inference: A comparison of optimization techniques for object-oriented languages. Proceedings of the Tenth ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications October 1995, 91-107.
13. Allen Randy, Kennedy Ken Optimizing Compilers for Modern Architectures: A Dependence-Based Approach 2002, Morgan Kaufmann.
14. Aho Alfred V., Kernighan Brian W., Weinberger Peter J. The AWK Programming Language 1988, Addison-Wesley.
15. Allen Frances E. Program optimization. Annual Review in Automatic Programming 1969, 5:239-307.
16. Aho Alfred V., Lam Monica S., Sethi Ravi, Ullman Jeffrey D. Compilers: Principles, Techniques, and Tools 2007, Addison-Wesley. second edition.
17. Programming Language FORTRAN 1978, American National Standards Institute, New York, NY, ANSI X3.9-1978.
18. Programming Language Minimal BASIC 1978, American National Standards Institute, ANSI X3.60-1978.
19. Reference Manual for the Ada Programming Language January 1983, American National Standards Institute, ANSI/MIL 1815 A-1983.
20. Programming Language COBOL 1985, American National Standards Institute, ANSI X3.23-1985. Supercedes earlier ANSI standards from 1968 and 1974.
21. Programming Language C 1990, American National Standards Institute, ANSI/ISO 9899-1990. Revision and redesignation of ANSI X3.159-1989.
22. Programming Language, FORTRAN-Extended 1992, American National Standards Institute, ANSI X3.198-1992. Also ISO 1539-1991 (E).
23. Information Technology-Programming Language REXX 1996, American National Standards Institute, ANSI INCITS 274-1996/AMD1-2000 (R2001).
24. Programming Language-Common Lisp 1996, American National Standards Institute, ANSI X3.226:1994. Available at. http://www.lispworks.com/documentation/common-lisp.html.
25. Andrews Gregory R., Olsson Ronald A. The SR Programming Language: Concurrency in Practice 1993, Benjamin/Cummings.
26. Appel Andrew W. Compiling with Continuations 1991, Cambridge University Press.
27. Appel Andrew W. Modern Compiler Implementation 1997, Cambridge University Press, Text available in ML, Java, and C versions. C version specialized by Maia Ginsburg.
28. The Objective-C 2.0 Programming Language 2008, Apple Computer, Inc., Available as. http://developer.apple.com/documentation/Cocoa/Conceptual/ObjectiveC/ObjC.pdf.
29. Armstrong Joe What's all this fuss about Erlang? The Pragmatic Programmers, LLC Available at. http://www.pragprog.com/articles/erlang.html.
30. Andrews Gregory R., Schneider Fred B. Concepts and notations for concurrent programming. ACM Computing Surveys March 1983, 15(1):3-43.
31. Abelson Harold, Sussman Gerald Jay Structure and Interpretation of Computer Programs 1996, MIT Press, With Julie Sussman. Full text and supplementary resources available at. http://mitpress.mit.edu/sicp/, second edition.
32. Proceedings of the Second ACM SIGPLAN History of Programming Languages (HOPL) Conference. ACM SIGPLAN Notices March 1993, 28(3). Association for Computing Machinery.
33. Proceedings of the Third ACM SIGPLAN History of Programming Languages (HOPL) Conference June 2007, Association for Computing Machinery.
34. Atkins M.Stella Mutual recursion in Algol 60 using restricted compilers. Communications of the ACM 1973, 16(1):47-48.
35. Aho Alfred V., Ullman Jeffrey D. The Theory of Parsing, Translation and Compiling 1972, Prentice-Hall, (two-volume set).
36. Armstrong Joe, Virding Robert, Wikström Claes, Williams Mike Concurrent Programming in ERLANG 1996, Prentice Hall International. second edition.
37. Alpern Bowen, Wegman Mark N., Zadeck F.Kenneth Detecting equality of variables in programs. Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages January 1988, 1-11.
38. Aycock John A brief history of just-in-time. ACM Computing Surveys June 2003, 35(2):97-113.
39. Boehm Hans-J., Adve Sarita V. Foundations of the C++ concurrency memory model. Proceedings of the SIGPLAN 2008 Conference on Programming Language Design and Implementation June 2008, 68-78.
40. Backus John W. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM August 1978, 21(8):613-641. The 1977 Turing Award lecture.
41. Bagrodia Rajive L. A distributed algorithm to implement the generalized alternative command of CSP. Proceedings of the Sixth International Conference on Distributed Computing Systems May 1986, 422-427.
42. Bershad Brian N., Anderson Thomas E., Lazowska Edward D., Levy Henry M. Lightweight remote procedure call. ACM Transactions on Computer Systems February 1990, 8(1):37-55.
43. Banerjee Utpal Dependence Analysis, volume 3 of Loop Transformations for Restructuring Compilers 1997, Kluwer Academic Publishers.
44. Barendregt Hendrik Pieter The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics 1984, North-Holland. revised edition.
45. Bumbulis Peter, Cowan Donald D. RE2C: A more versatile scanner generator. ACM Letters on Programming Languages and Systems March-December 1993, 2(1-4):70-84.
46. Bala Vasanth, Duesterwald Evelyn, Banerjia Sanjeev Dynamo: A transparent dynamic optimization system. Proceedings of the SIGPLAN 2000 Conference on Programming Language Design and Implementation June 2000, 1-12.
47. Bruck Jehoshua, Dolev Danny, Ho Ching-Tien, Rosu Marcel-Catalin, Strong Ray Efficient message passing interface (MPI) for parallel computing on clusters of workstations. Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures July 1995, 64-73.
48. Birtwistle Graham M., Dahl Ole-Johan, Myhrhaug Bjørn, Nygaard Kristen SIMULA Begin 1973, Auerback Publishers, Inc.
49. Beck Leland L. System Software: An Introduction to Systems Programming 1997, Addison-Wesley. third edition.
50. Beech David A structural view of PL/I. ACM Computing Surveys March 1970, 2(1):33-64.
51. Bentley John L. Programming Pearls 1986, Addison-Wesley.
52. Bernstein Arthur J. Output guards and nondeterminism in "Communicating Sequential Processes". ACM Transactions on Programming Languages and Systems April 1980, 2(2):234-238.
53. Bernstein Robert L. Producing good code for the case statement. Software-Practice and Experience October 1985, 15(10):1021-1024. A correction, by Sampath Kannan and Todd A. Proebsting, appears in volume 24, number 2.
54. Buhr Peter A., Fortier Michael, Coffin Michael H. Monitor classification. ACM Computing Surveys March 1995, 27(1):63-107.
55. Brownston Lee, Farrell Robert, Kant Elaine, Martin Nancy Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming 1986, Addison-Wesley.
56. Bacon David F., Graham Susan L., Sharp Oliver J. Compiler transformations for high-performance computing. ACM Computing Surveys December 1994, 26(4):345-420.
57. Andrew Black, Norman Hutchinson, Eric Jul, and Henry Levy. The development of the Emerald programming language. HOPL III Proceedings [Ass07], pages 11-1-11-51.
58. Bar-Hillel Yehoshua, Perles Micha A., Shamir Eliahu On formal properties of simple phrase structure grammars. Zeitschrift fèur Phonetik, Sprachwissenschaft und Kommunikationsforschung 1961, 14:143-172.
59. Borning Alan H., Ingalls Daniel H.H. Multiple inheritance in Smalltalk-80. AAAI-82: The National Conference on Artificial Intelligence August 1982, 234-237.
60. Ball Thomas, Larus James R. Optimally profiling and tracing programs. Conference Record of the Nineteenth ACM Symposium on Principles of Programming Languages January 1992, 59-70.
61. Boyer Robert S., Moore J.Strother A fast string searching algorithm. Communications of the ACM October 1977, 20(10):762-772.
62. Birrell Andrew D., Nelson Bruce J. Implementing remote procedure calls. ACM Transactions on Computer Systems February 1984, 2(1):39-59.
63. Bryant Randal E., O'Hallaron David Computer Systems: A Programmer's Perspective 2003, Prentice-Hall.
64. Boehm Hans-J. Threads cannot be implemented as a library. Proceedings of the SIGPLAN 2005 Conference on Programming Language Design and Implementation June 2005, 261-268.
65. Bracha Gilad, Odersky Martin, Stoutamire David, Wadler Philip Making the future safe for the past: Adding genericity to the Java programming language. Proceedings of the Thirteenth ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications October 1998, 183-200.
66. Bourne Stephen R. An introduction to the UNIX shell. Bell System Technical Journal July-August 1978, 57(6, Part 2):2797-2822.
67. Hansen Per Brinch Operating System Principles 1973, Prentice-Hall.
68. Hansen Per Brinch The programming language Concurrent Pascal. IEEE Transactions on Software Engineering June 1975, SE-1(2):199-207.
69. Hansen Per Brinch The design of Edison. Software-Practice and Experience April 1981, 11(4):363-396.
70. Brodie Leo Starting FORTH: An Introduction to the FORTH Language and Operating System for Beginners and Professionals 1987, Prentice-Hall Software Series. second edition.
71. Brockschmidt Kraig How OLE and COM solve the problems of component software design. Microsoft Systems Journal May 1996, 11(5):63-82.
72. Daniel G. Bobrow and Mark J. Stefik. The LOOPS manual. Technical report, Xerox Palo Alto Research Center, 1983.
73. Buckley G.N., Silbershatz A. An effective implementation for the generalized input-output construct of CSP. ACM Transactions on Programming Languages and Systems April 1983, 5(2):223-235.
74. Bacon David F., Sweeney Peter F. Fast static analysis of C++ virtual function calls. Proceedings of the Eleventh ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications October 1996, 324-341.
75. Boehm Hans-Juergen, Weiser Mark Garbage collection in an uncooperative environment. Software-Practice and Experience September 1988, 18(9):807-820.
76. Chaitin Gregory, Auslander Marc, Chandra Ashok, Cocke John, Hopkins Martin, Markstein Peter Register allocation via coloring. Computer Languages 1981, 6(1):47-57.
77. Cailliau R. How to avoid getting SCHLONKED by Pascal. ACM SIGPLAN Notices December 1982, 17(12):31-40.
78. Cann David Retire Fortran? A debate rekindled. Communications of the ACM August 1992, 35(8):81-89.
79. Chen Hao, Dean Drew, Wagner David Model checking one million lines of C code. Proceedings of the Network and Distributed System Security Symposium February 2004, 171-185.
80. Ceruzzi Paul Beyond the Limits-Flight Enters the Computer Age 1989, MIT Press.
81. Curry Haskell B., Feys Robert Combinatory Logic, volume 1 of Studies in Logic and the Foundations of Mathematics 1958, North-Holland. With two sections by William Craig.
82. Cytron Ronald, Ferrante Jeanne, Rosen Barry K., Wegman Mark N., Zadeck F.Kenneth Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems October 1991, 13(4):451-490.
83. Cheese Andrew Parallel Execution of Parlog 1992, Springer-Verlag.
84. Chomsky Noam Three models for the description of language. IRE Transactions on Information Theory September 1956, IT-2(3):113-124.
85. Noam Chomsky. Context-free grammars and pushdown storage. Quarterly Progress Report No. 65, pages 187-194. MIT Research Laboratory for Electronics, 1962.
86. Courtois Pierre-Jacques, Heymans F., Parnas David L. Concurrent control with "readers" and "writers". Communications of the ACM October 1971, 14(10):667-668.
87. Church Alonzo The Calculi of Lambda-Conversion 1941, Princeton University Press, Annals of Mathematical Studies #6.
88. Cook Robert P., LeBlanc Thomas J. A symbol table abstraction to implement languages with explicit scope control. IEEE Transactions on Software Engineering January 1983, SE-9(1):8-12.
89. Cleaveland J.Craig An Introduction to Data Types 1986, Addison-Wesley.
90. Chase Jeffrey S., Levy Henry M., Feeley Michael J., Lazowska Edward D. Sharing and protection in a single-address-space operating system. ACM Transactions on Computer Systems November 1994, 12(4):271-307.
91. Chandy K.Mani, Misra Jayadev The drinking philosophers problem. ACM Transactions on Programming Languages and Systems October 1984, 6(4):632-646.
92. Clocksin William F., Mellish Christopher S. Programming in Prolog 2003, Springer-Verlag. fifth edition.
93. Cohen Jacques Garbage collection of linked data structures. ACM Computing Surveys September 1981, 13(3):341-367.
94. Conway Melvin E. Design of a separable transition-diagram compiler. Communications of the ACM July 1963, 6(7):396-408.
95. Courcelle Bruno Attribute grammars: Definitions, analysis of dependencies, proof methods. Methods and Tools for Compiler Construction: An Advanced Course 1984, 81-102. Cambridge University Press. B. Lorho (Ed.).
96. Computing Curricula 2001: Computer Science 2001, Joint Task Force on Computing Curricula, IEEE Computer Society, Association for Computing Machinery, Available at. http://www.computer.org/portal/cms_docs_ieeecs/ieeecs/education/cc2001/cc2001.pdf, J.H. Cross, E. Roberts (Eds.).
97. John Cocke and Jacob T. Schwartz. Programming languages and their compilers: Preliminary notes. Technical report, Courant Institute of Mathematical Sciences, New York University, 1969.
98. Culler David E., Singh Jaswinder Pal Parallel Computer Architecture: A Hardware/Software Approach 1998, (with Anoop Gupta), Morgan Kaufmann.
99. Cooper Keith D., Torczon Linda Engineering a Compiler 2004, Morgan Kaufmann.
100. Cardelli Luca, Wegner Peter On understanding types, data abstraction, and polymorphism. ACM Computing Surveys December 1985, 17(4):471-522.
101. Chonacky Norman, Winch David Maple, Mathematica, and Matlab: The 3M's without the tape. Computing in Science and Engineering 2005, 7(1):8-16. Available as. http://csdl.computer.org/comp/mags/cs/2005/01/c1008.pdf.
102. Darlington Jared L. Search direction by goal failure in goal-oriented programming. ACM Transactions on Programming Languages and Systems April 1990, 12(2):224-252.
103. Davis Martin Eliminating the irrelevant from mechanical proofs. Proceedings of a Symposium in Applied Mathematics 1963, volume 15:15-30. American Mathematical Society.
104. Deutsch L.Peter, Bobrow Daniel G. An efficient incremental automatic garbage collector. Communications of the ACM September 1976, 19(9):522-526.
105. Dahl Ole-Johan, Dijkstra Edsger W., Hoare Charles Antony Richard Structured Programming 1972, Academic Press, A.P.I.C. Studies in Data Processing #8.
106. DeRemer Franklin L. Simple LR(k) grammars. Communications of the ACM July 1971, 14(7):453-460.
107. Dewar Robert B.K., Fisher Gerald A., Schonberg Edmond, Froehlich Robert, Bryant Stephen, Goss Clinton F., Burke Michael The NYU Ada translator and interpreter. Proceedings of the ACM SIGPLAN Symposium on the Ada Programming Language December 1980, 194-201.
108. Dijkstra Edsger W. Recursive programming. Numerische Mathematik 1960, 2:312-318. Reprinted as pages 221-228 of Programming Systems and Languages, Saul Rosen, editor. McGraw-Hill, 1967.
109. Dijkstra Edsger W. Solution of a problem in concurrent programming control. Communications of the ACM September 1965, 8(9):569.
110. Dijkstra Edsger W. Co-operating sequential processes. Programming Languages 1968, 43-112. Academic Press. F. Genuys (Ed.).
111. Dijkstra Edsger W. Go To statement considered harmful. Communications of the ACM March 1968, 11(3):147-148.
112. Dijkstra Edsger W. Hierarchical ordering of sequential processes. Acta Informatica 1971, 1(8):115-138. Academic Press, A.P.I.C. Studies in Data Processing #9. C.A.R. Hoare, R.H. Perrott (Eds.).
113. Dijkstra Edsger W. Guarded commands, nondeterminacy, and formal derivation of programs. Communications of the ACM August 1975, 18(8):453-457.
114. Dijkstra Edsger W. A Discipline of Programming 1976, Prentice-Hall.
115. Dijkstra Edsger W. How do we tell truths that might hurt?. ACM SIGPLAN Notices May 1982, 17(5):13-15.
116. Bernard A. Dion. Locally Least-Cost Error Correctors for Context-Free and Context-Sensitive Parsers. Ph.D. dissertation, University of Wisconsin-Madison, 1978. Computer Sciences Technical Report #344.
117. Diwan Amer, Eliot J., Moss B., McKinley Kathryn S. Simple and effective analysis of statically typed object-oriented programs. Proceedings of the Eleventh ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications October 1996, 292-305.
118. Dolby Julian Automatic inline allocation of objects. Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation June 1997, 7-17.
119. Driesen Karel Selector table indexing and sparse arrays. Proceedings of the Eighth ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications September 1993, 259-270.
120. Dawson Steven, Ramakrishnan C.R., Skiena Steven, Swift Terrence Principles and practice of unification factoring. ACM Transactions on Programming Languages and Systems September 1996, 18(5):528-563.
121. Deutsch L.Peter, Schiffman Allan M. Efficient implementation of the Smalltalk-80 system. Conference Record of the Eleventh ACM Symposium on Principles of Programming Languages January 1984, 297-302.
122. Dice Dave, Shalev Ori, Shavit Nir Transactional locking II. Proceedings of the Twentieth International Symposium on Distributed Computing September 2006, 194-208.
123. Duesterwald Evelyn Design and engineering of a dynamic binary optimizer. Proceedings of the IEEE February 2005, 93(2):436-448.
124. Dyadkin Lev J. Multibox parsers: No more handwritten lexical analyzers. IEEE Software September 1995, 12(5):61-67.
125. Earley Jay An efficient context-free parsing algorithm. Communications of the ACM February 1970, 13(2):94-102.
126. ECMAScript Language Specification December 1999, ECMA International, Geneva, Switzerland, ECMA-262, ISO/IEC 16262. Available as. http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-262.pdf, third edition.
127. C# Language Specification June 2006, ECMA International, Geneva, Switzerland, ECMA-334, ISO/IEC 23270. Available as. http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-334.pdf, fourth edition.
128. Engelfriet Joost Attribute grammars: Attribute evaluation methods. Methods and Tools for Compiler Construction: An Advanced Course 1984, 103-138. Cambridge University Press. B. Lorho (Ed.).
129. Robert Ennals. Software transactional memory should not be lock free. Technical Report IRC-TR-06-052, Intel Research Cambridge, 2006.
130. Ellis Margaret A., Stroustrup Bjarne The Annotated C++ Reference Manual 1990, Addison-Wesley.
131. Evey R.James Application of pushdown store machines. Proceedings of the 1963 Fall Joint Computer Conference November 1963, 215-227. AFIPS Press.
132. Feo John T., Cann David, Oldehoeft Rod R. A report on the Sisal language project. Journal of Parallel and Distributed Computing December 1990, 10(4):349-365.
133. Comparing and Assessing Programming Languages: Ada, C, Pascal 1984, Prentice-Hall Software Series. A.R. Feuer, N. Gehani (Eds.).
134. Fraser Christopher W., Hanson David R. A Retargetable C Compiler: Design and Implementation 1995, Benjamin/Cummings.
135. Freeman Eric, Hupfer Susanne, Arnold Ken JavaSpaces Principles, Patterns, and Practice 1999, Pearson Education.
136. Finkel Raphael A. Advanced Programming Language Design 1996, Addison-Wesley.
137. Fischer Charles N., LeBlanc Richard J. Implementation of runtime diagnostics in Pascal. IEEE Transactions on Software Engineering July 1980, SE-6(4):313-319.
138. Fischer Charles N., LeBlanc Richard J. Crafting a Compiler 1988, Benjamin/Cummings.
139. Fleck Arthur C. On the impossibility of content exchange through the by-name parameter transmission technique. ACM SIGPLAN Notices November 1976, 11(11):38-41.
140. Fischer Charles N., Milton Donn R., Quiring Sam B. Efficient LL(1) error correction and recovery using only insertions. Acta Informatica February 1980, 13(2):141-154.
141. Foster Ian Compositional C++. Debugging and Building Parallel Programs 1995, 167-204. Addison-Wesley, chapter 5, Available in hypertext at. http://www.mcs.anl.gov/dbpp/text/node51.html.
142. Francez Nissim Distributed termination. ACM Transactions on Programming Languages and Systems January 1980, 2(1):42-55.
143. Felber Pascal, Riegel Torvald, Fetzer Christof Dynamic performance tuning of word-based software transactional memory. Proceedings of the Thirteenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming February 2008, 237-246.
144. Freudenberger Stefan M., Schwartz Jacob T., Sharir Micha Experience with the SETL optimizer. ACM Transactions on Programming Languages and Systems January 1983, 5(1):26-45.
145. Friedman Daniel P., Wand Mitchell, Haynes Christopher T. Essentials of Programming Languages 2001, MIT Press. second edition.
146. Fenichel Robert R., Yochelson Jerome C. A Lisp garbage collector for virtual memory computer systems. Communications of the ACM November 1969, 12(11):611-612.
147. Geist Al, Beguelin Adam, Dongarra Jack, Jiang Weicheng, Manchek Robert, Sunderam Vaidyalingam S. PVM: Parallel Virtual Machine: A Users' Guide and Tutorial for Networked Parallel Computing 1994, MIT Press, Available in hypertext at. http://www.netlib.org/pvm3/book/pvm-book.html.
148. Grune Dick, Bal Henri E., Jacobs Ceriel J.H., Langendoen Koen G. Modern Compiler Design 2001, John Wiley & Sons.
149. Grove David, DeFouw Greg, Dean Jeffrey, Chambers Craig Call graph construction in object-oriented languages. Proceedings of the Twelfth ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications October 1997, 108-124.
150. Ganapathi Mahadevan, Fischer Charles N., Hennessy John L. Retargetable compiler code generation. ACM Computing Surveys December 1982, 14(4):573-592.
151. Glanville R.Steven, Graham Susan L. A new method for compiler code generation. Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages January 1978, 231-240.
152. Griswold Ralph E., Griswold Madge T. The Icon Programming Language 1996, Peer-to-Peer Communications, Out of print available on line at, Previous editions published by Prentice-Hall. http://www.cs.arizona.edu/icon/lb3.htm, third edition.
153. Garcia Ronald, Järvi Jaakko, Lumsdaine Andrew, Siek Jeremy, Willcock Jeremiah A comparative study of language support for generic programming. Proceedings of the Eighteenth ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications October 2003, 115-134.
154. Gosling James, Joy Bill, Steele Guy, Bracha Gilad The Java Language Specification 2005, Addison-Wesley, Available in hypertext at. http://java.sun.com/docs/books/jls/, third edition.
155. Guyer Samuel Z., Lin Calvin Client-driven pointer analysis. Science of Computer Programming October 2005, 58(1-2):83-114.
156. Gingell Robert A., Lee Meng, Dang Xuong T., Weeks Mary S. Shared libraries in SunOS. Proceedings of the 1987 Summer USENIX Conference June 1987, 131-145.
157. Gibbons Phillip B., Muchnick Steven S. Efficient instruction scheduling for a pipelined architecture. Proceedings of the SIGPLAN '86 Symposium on Compiler Construction July 1986, 11-16.
158. Goldberg Adele Smalltalk-80: The Interactive Programming Environment 1984, Addison-Wesley Series in Computer Science.
159. David Goldberg. Computer arithmetic. In Hennessy and Patterson (third edition of [HP07]), Appendix H. Available at books.elsevier.com/companions/1558605967/appendices/1558605967-appendix-h.pdf. http://books.elsevier.com/companions/1558605967/appendices/1558605967-appendix-h.pdf.
160. Goodenough John B. Exception handling: Issues and a proposed notation. Communications of the ACM December 1975, 18(12):683-696.
161. Gordon Michael J.C. The Denotational Description of Programming Languages: An Introduction 1979, Springer-Verlag.
162. Griswold Ralph E., Poage J.F., Polonsky I.P. The Snobol4 Programming Language 1971, Prentice-Hall. second edition.
163. Ginsburg Seymour, Rice H.Gordon Two families of languages related to ALGOL. Journal of the ACM 1962, 9(3):350-371.
164. Goldberg Adele, Robson David Smalltalk-80: The Language 1989, Addison-Wesley Series in Computer Science.
165. Gries David The Science of Programming 1981, Springer-Verlag, Texts and Monographs in Computer Science.
166. Gil Joseph, Sweeney Peter F. Space- and time-efficient memory layout for multiple inheritance. Proceedings of the Fourteenth ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications November 1999, 256-275.
167. Garrett William E., Scott Michael L., Bianchini Ricardo, Kontothanassis Leonidas I., McCallum R.Andrew, Thomas Jeffrey A., Wisniewski Robert, Luk Steve Linking shared segments. Proceedings of the USENIX Winter '93 Technical Conference January 1993, 13-27.
168. Goguen Joseph A., Thatcher James W., Wagner Eric G. An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current Trends in Programming Methodology 1978, volume 4:80-149. Prentice-Hall.
169. Guttag John Abstract data types and the development of data structures. Communications of the ACM June 1977, 20(6):396-404.
170. DIANA: An Intermediate Language for Ada, volume 161 of Lecture Notes in Computer Science 1983, Springer-Verlag. G. Goos, W.A. Wulf, A. Evans, K.J. Butler (Eds.).
171. Halstead Robert H. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems October 1985, 7(4):501-538.
172. Hanson David R. Is block structure necessary?. Software-Practice and Experience August 1981, 11(8):853-866.
173. David R. Hanson. A brief introduction to Icon. In HOPL II Proceedings [Ass93], pages 359-360.
174. Harbison Samuel P. Modula-3 1992, Prentice-Hall.
175. Hauck E.A., Dent B.A. Burroughs' B6500/ B7500 stack mechanism. Proceedings of the AFIPS Spring Joint Computer Conference 1968, volume 32:245-251. Reprinted as pages 244-250 of Siewiorek, Bell, and Newell [SBN82].
176. Robert R. Henry and Peter C. Damron. Algorithms for table-driven code generators using tree-pattern matching. Technical Report 89-02-03, Computer Science Department, University of Washington, February 1989.
177. Herlihy Maurice P. Wait-free synchronization. ACM Transactions on Programming Languages and Systems January 1991, 13(1):124-149.
178. Holt Richard C., Graham G.Scott, Lazowska Edward D., Scott Mark A. Structured Concurrent Programming with Operating Systems Applications 1978, Addison-Wesley, Addison-Wesley Series in Computer Science.
179. Hauben Michael, Hauben Ronda Netizens: On the History and Impact of Usenet and the Internet 1997, Wiley/IEEE Computer Society Press, Available at. http://www.columbia.edu/~hauben/netbook/.
180. Hookway Raymond J., Herdeg Mark A. DIGITAL FX!32: Combining emulation and binary translation. DIGITAL Technical Journal 1997, 9(1):3-12.
181. Hind Michael Pointer analysis: Haven't we solved this problem yet?. Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering June 2001, 54-61.
182. Hennessy John L., Jouppi Norman, Baskett Forest, Gill John MIPS: A VLSI processor architecture. Proceedings of the CMU Conference on VLSI Systems and Computations October 1981, 337-346. Computer Science Press.
183. Hill Patricia M., Lloyd John W. The Gödel Programming Language 1994, MIT Press, Logic Programming Series.
184. Herlihy Maurice, Luchangco Victor, Moir Mark Obstruction-free synchronization: Double-ended queues as an example. Proceedings of the Twenty-Third International Conference on Distributed Computing Systems May 2003, 522-529.
185. Herlihy Maurice P., Eliot J., Moss B. Transactional memory: Architectural support for lock-free data structures. Proceedings of the Twentieth International Symposium on Computer Architecture May 1993, 289-300.
186. Harris Tim, Marlow Simon, Jones Simon Peyton, Herlihy Maurice Composable memory transactions. Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming June 2005, 48-60.
187. Holt Richard C., Matthews Philip A., Rosselet J.Alan, Cordy James R. The Turing Programming Language: Design and Definition 1988, Prentice-Hall.
188. Hopcroft John E., Motwani Rajeev, Ullman Jeffrey D. Introduction to Automata Theory, Languages, and Computation 2001, Addison-Wesley. second edition.
189. Ho W.Wilson, Olsson Ronald A. An approach to genuine dynamic linking. Software-Practice and Experience April 1991, 21(4):375-390.
190. Hoare Charles Antony Richard An axiomatic basis of computer programming. Communications of the ACM October 1969, 12(10):576-580.
191. Hoare Charles Antony Richard Monitors: An operating system structuring concept. Communications of the ACM October 1974, 17(10):549-557.
192. Hoare Charles Antony Richard Recursive data structures. International Journal of Computer and Information Sciences June 1975, 4(2):105-132.
193. Hoare Charles Antony Richard Communicating Sequential Processes. Communications of the ACM August 1978, 21(8):666-677.
194. Hoare Charles Antony Richard The emperor's old clothes. Communications of the ACM February 1981, 24(2):75-83. The 1980 Turing Award lecture.
195. Hoare Charles Antony Richard Hints on programming language design. Essays in Computing Science 1989, 193-216. Prentice-Hall, Based on a keynote address presented at the First ACM Symposium on Principles of Programming Languages, Boston, MA, October 1973. C.B. Jones (Ed.).
196. Horn Alfred On sentences which are true of direct unions of algebras. Journal of Symbolic Logic March 1951, 16(1):14-21.
197. Horowitz Ellis Programming Languages: A Grand Tour 1987, Computer Science Press, Computer Software Engineering Series. third edition.
198. Hennessy John L., Patterson David A. Computer Architecture: A Quantitative Approach 2007, Morgan Kaufmann, Third edition, 2003. fourth edition.
199. Herlihy Maurice, Shavit Nir The Art of Multiprocessor Programming 2008, Morgan Kaufmann.
200. Hudak Paul Conception, evolution, and application of functional programming languages. ACM Computing Surveys September 1989, 21(3):359-411.
201. Hejlsberg Anders, Wiltamuth Scott, Golde Peter The C# Programming Language 2004, Addison-Wesley.
202. Ichbiah Jean, Barnes John G.P., Firth Robert J., Woodger Mike Rationale for the Design of the Ada Programming Language 1991, Cambridge University Press.
203. APL2 Programming: Language Reference 1987, IBM Corporation, SH20-9227.
204. IEEE standard for binary floating-point arithmetic. ACM SIGPLAN Notices February 1987, 22(2):9-25. IEEE Standards Committee.
205. Ingerman Peter Z. Thunks: A way of compiling procedure statements with some comments on procedure declarations. Communications of the ACM January 1961, 4(1):55-58.
206. IEEE/ANSI Standard for the Scheme Programming Language 1991, Institute of Electrical and Electronics Engineers, IEEE 1178-1990. Available at. http://standards.ieee.org/reading/ieee/std_public/description/busarch/1178-1990_desc.html.
207. Information Technology-Programming Languages-Pascal 1990, International Organization for Standardization, ISO/IEC 7185:1990 (revision and redesignation of ANSI/IEEE 770X). Available as. http://www.pascal-central.com/docs/iso7185.pdf.
208. Ada 95 Rationale 1995, Intermetrics, Inc., Available as. http://www.adahome.com/Resources/refs/rm95.html.
209. Information Technology-Programming Languages-Ada 1995, International Organization for Standardization, ISO/IEC 8652:1995 (E). Available in hypertext at. http://www.adahome.com/rm95/.
210. Information Technology-Programming Languages-Prolog-Part 1: General Core 1995, International Organization for Standardization, ISO/IEC 13211-1:1995.
211. Information Technology-Programming Languages-Part 1: Modula-2, Base Language 1996, International Organization for Standardization, ISO/IEC 10514-1:1996.
212. Programming Language Forth 1997, International Organization for Standardization, ISO/IEC 15145:1997 (revision and redesignation of ANSI X3.215-1994).
213. Programming Languages-C++ 1998, International Organization for Standardization, ISO/IEC 14882:1998.
214. Programming Language-C December 1999, International Organization for Standardization, ISO/IEC 9899:1999(E).
215. Information Technology-Programming Languages-COBOL 2002, International Organization for Standardization, ISO/IEC 1989:2002.
216. The C Rationale April 2003, International Organization for Standardization, ISO/IEC JTC 1/SC 22/WG 14, revision 5.10.
217. Information Technology-Portable Operating System Interface (POSIX) August 2003, International Organization for Standardization, ISO/IEC 9945-1:2003. Also IEEE standard 1003.1, 2004 Edition, and The Open Group Technical Standard Base Specifications, Issue 6. Available as. http://www.opengroup.org/onlinepubs/009695399/, fourth edition.
218. Information Technology-Programming Languages-Fortran-Part 1: Base Language November 2004, International Organization for Standardization, ISO/ IEC FCD 1539-1:2004(E).
219. Information Technology-Common Language Infrastructure (CLI) October 2006, International Organization for Standardization, ISO/IEC 23271:2006(E). Also ECMA-335, fourth edition, 2006. Available at. http://www.ecma-international.org/publications/standards/Ecma-335.htm.
220. Iverson Kenneth E. A Programming Language 1962, John Wiley and Sons.
221. Jones Geraint, Goldsmith Michael Programming in occam2 1989, Prentice-Hall International Series in Computer Science. second edition.
222. Jones Simon Peyton, Gordon Andrew, Finne Sigbjorn Concurrent Haskell. Proceedings of the Twenty-Third ACM Symposium on Principles of Programming Languages January 1996, 295-308.
223. Jones Richard, Lins Rafael Garbage Collection: Algorithms for Automatic Dynamic Memory Management 1996, John Wiley and Sons.
224. Jaffar Joxan, Maher Michael J. Constraint logic programming: A survey. Journal of Logic Programming May-July 1994, 20:503-581.
225. Stephen C. Johnson. Yacc-Yet another compiler compiler. Technical Report 32, Computing Science, AT&T Bell Laboratories, 1975.
226. Jazayeri Mehdi, Ogden William F., Rounds William C. The intrinsically exponential complexity of the circularity problem for attribute grammars. Communications of the ACM December 1975, 18(12):697-706.
227. Jordan Harry F. HEP architecture, programming and performance. Parallel MIMD Computation: The HEP Supercomputer and Its Applications 1985, 1-40. MIT Press. J.S. Kowalik (Ed.).
228. Johnson Walter L., Porter James H., Ackley Stephanie I., Ross Douglas T. Automatic generation of efficient lexical processors using finite state techniques. Communications of the ACM December 1968, 11(12):805-813.
229. Jensen Kathleen, Wirth Niklaus Pascal User Manual and Report: ISO Pascal Standard 1991, Springer-Verlag, Revised by Andrew B. Mickel and James F. Miner. fourth edition.
230. T. Kasami. An efficient recognition and syntax analysis algorithm for context-free languages. Technical Report AFCRL-65-758, Air Force Cambridge Research Laboratory, 1965.
231. Keene Sonya E. Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS1 1989, (with contributions by Dan Gerson.), Addison-Wesley.
232. Kepser Stephan A simple proof for the Turing-completeness of XSLT and XQuery. Proceedings, Extreme Markup Languages 2004 August 2004, Available as. http://www.mulberrytech.com/Extreme/Proceedings/html/2004/Kepser01/EML2004Kepser01.html.
233. Brian W. Kernighan. Why Pascal is not my favorite programming language. Technical Report 100, Computing Science, AT&T Bell Laboratories, 1981. Reprinted as pages 170-186 of Feuer and Gehani [FG84].
234. Kessels J.L.W. An alternative to event queues for synchronization in monitors. Communications of the ACM July 1977, 20(7):500-503.
235. Kranz David, Kelsey Richard, Rees Jonathan, Hudak Paul, Philbin James, Adams Norman ORBIT: An optimizing compiler for Scheme. Proceedings of the SIGPLAN'86 Symposium on Compiler Construction June 1986, 219-233.
236. Kleene Stephen C. Representation of events in nerve nets and finite automata. Automata Studies, number 34 in Annals of Mathematical Studies 1956, 3-41. Princeton University Press. C.E. Shannon, J. McCarthy (Eds.).
237. Knuth Donald E., Morris James H., Pratt Vaughan R. Fast pattern matching in strings. SIAM Journal of Computing June 1977, 6(2):323-350.
238. Knuth Donald E. On the translation of languages from left to right. Information and Control December 1965, 8(6):607-639.
239. Knuth Donald E. Semantics of context-free languages. Mathematical Systems Theory June 1968, 2(2):127-145. Correction appears in Volume 5, pages 95-96.
240. Knuth Donald E. Literate programming. The Computer Journal May 1984, 27(2):97-111.
241. Knuth Donald E. The TeXbook 1986, Addison-Wesley.
242. Korn David G. An extensible high level language. Proceedings of the USENIX Very High Level Languages Symposium October 1994, 129-146.
243. Kernighan Brian W., Plauger Phillip J. Software Tools 1976, Addison-Wesley.
244. Kernighan Brian W., Plauger Phillip J. The Elements of Programming Style 1978, McGraw-Hill. second edition.
245. Kernighan Brian W., Ritchie Dennis M. The C Programming Language 1988, Prentice-Hall. second edition.
246. Král Jaroslav The equivalence of modes and the equivalence of finite automata. ALGOL Bulletin 1973, 35:34-35.
247. Kennedy Andrew, Syme Don Design and implementation of generics for the .NET Common Language Runtime. Proceedings of the SIGPLAN 2001 Conference on Programming Language Design and Implementation June 2001, 1-12.
248. Kontothanassis Leonidas I., Wisniewski Robert, Scott Michael L. Scheduler-conscious synchronization. ACM Transactions on Computer Systems February 1997, 15(1):3-40.
249. Lamport Leslie Time, clocks, and the ordering of events in a distributed system. Communications of the ACM July 1978, 21(7):558-565.
250. Lamport Leslie A fast mutual exclusion algorithm. ACM Transactions on Computer Systems February 1987, 5(1):1-11.
251. Lamport Leslie LaTeX: A Document Preparation System 1994, Addison-Wesley Professional. second edition.
252. Luk Chi-Keung, Cohn Robert, Muth Robert, Patil Harish, Klauser Artur, Lowney Geoff, Wallace Steven, Reddi Vijay Janapa, Hazelwood Kim Pin: Building customized program analysis tools with dynamic instrumentation. Proceedings of the SIGPLAN 2005 Conference on Programming Language Design and Implementation June 2005, 190-200.
253. Lee Edward A. The problem with threads. Computer May 2006, 39(5):33-42.
254. Michael E. Lesk. Lex-A lexical analyzer generator. Technical Report 39, Computing Science, AT&T Bell Laboratories, 1975.
255. Liskov Barbara, Guttag John Abstraction and Specification in Program Development 1986, MIT Press.
256. Li Kai, Hudak Paul Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems November 1989, 7(4):321-359.
257. Lampson Butler W., Horning J.J., London R.L., Mitchell J.G., Popek G.J. Report on the programming language Euclid. ACM SIGPLAN Notices February 1977, 12(2):1-79.
258. Larus James, Kozyrakis Christos Transactional memory. Communications of the ACM July 2008, 51(7):80-88.
259. Lloyd John W. Foundations of Logic Programming 1987, Springer-Verlag. second edition.
260. Lomet David B. Scheme for invalidating references to freed storage. IBM Journal of Research and Development January 1975, 19(1):26-35.
261. Lomet David B. Making pointers safe in system programming languages. IEEE Transactions on Software Engineering January 1985, SE-11(1):87-96.
262. Louden Kenneth C. Programming Languages: Principles and Practice 2003, Brooks/Cole-Thomson Learning. second edition.
263. Luckam David C., Polak W. Ada exception handling: An axiomatic approach. ACM Transactions on Programming Languages and Systems April 1980, 2(2):225-233.
264. Lampson Butler W., Redell David D. Experience with processes and monitors in Mesa. Communications of the ACM February 1980, 23(2):105-117.
265. Larus James R., Rajwar Ravi Transactional Memory, volume 2 of Synthesis Lectures on Computer Architecture 2006, Morgan & Claypool Publishers.
266. Lewis Philip M., Rosenkrantz Daniel J., Stearns Richard E. Attributed translations. Journal of Computer and System Sciences December 1974, 9(3):279-307.
267. Lewis Philip M., Stearns Richard E. Syntax-directed transduction. Journal of the ACM July 1968, 15(3):465-488.
268. Liskov Barbara, Snyder Alan Exception handling in CLU. IEEE Transactions on Software Engineering November 1979, SE-5(6):546-558.
269. Liskov Barbara, Scheifler Robert Guardians and actions: Linguistic support for robust, distributed programs. ACM Transactions on Programming Languages and Systems July 1983, 5(3):381-404.
270. Liskov Barbara, Snyder Alan, Atkinson Russel, Schaffert J.Craig Abstraction mechanisms in CLU. Communications of the ACM August 1977, 20(8):564-576.
271. Lerdorf Rasmus, Tatroe Kevin Programming PHP 2002, O'Reilly and Associates.
272. Lindholm Tim, Yellin Frank The Java Virtual Machine Specification 1999, Prentice Hall PTR, Available at. http://java.sun.com/docs/books/jvms/, second edition.
273. MacLaren M.Donald Exception handling in PL/I. Proceedings of an ACM Conference on Language Design for Reliable Software 1977, 101-104. D.B. Wortman (Ed.).
274. McCarthy John, Abrahams Paul W., Edwards Daniel J., Hart Timothy P., Levin Michael I. LISP 1.5 Programmer's Manual 1965, MIT Press, Available as. http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf, second edition.
275. Mairson Harry G. Deciding ML typability is complete for deterministic exponential time. Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages January 1990, 382-401.
276. Mashey John R. Using a command language as a high-level programming language. Proceedings of the Second International IEEE Conference on Software Engineering October 1976, 169-176.
277. Massalin Henry Superoptimizer: A look at the smallest program. Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems October 1987, 122-126.
278. McCarthy John Recursive functions of symbolic expressions and their computation by machine, Part I. Communications of the ACM April 1960, 3(4):184-195.
279. McGraw James R. The VAL language: Description and analysis. ACM Transactions on Programming Languages and Systems January 1982, 4(1):44-82.
280. 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 1979-1999. ACM SIGPLAN Notices April 2004, 39(4). ACM Press. K.S. McKinley (Ed.).
281. Mellor-Crummey John M., Scott Michael L. Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Transactions on Computer Systems February 1991, 9(1):21-65.
282. Meyer Bertrand Applying "design by contract". IEEE Computer October 1992, 25(10):40-51.
283. Meyer Bertrand Eiffel: The Language 1992, Prentice-Hall.
284. Matthews Jacob, Findler Robert Bruce An operational semantics for Scheme. Journal of Functional Programming 2008, 18(1):47-86.
285. Martonosi Margaret, Gupta Anoop, Anderson Thomas MemSpy: Analyzing memory system bottlenecks in programs. Proceedings of the 1992 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems June 1992, 1-12.
286. Michaelson Greg An Introduction to Functional Programming through Lambda Calculus 1989, Addison-Wesley, International Computer Science Series.
287. Microsoft Visual Basic Language Reference 1991, Microsoft Corporation, Document DB20664-0491.
288. Michael Maged Scalable lock-free dynamic memory allocation. Proceedings of the SIGPLAN 2004 Conference on Programming Language Design and Implementation June 2004, 35-46.
289. Milner Robin A theory of type polymorphism in programming. Journal of Computer and System Sciences December 1978, 17(3):348-375.
290. Mohr Eric, Kranz David A., Halstead Robert H. Lazy task creation: A technique for increasing the granularity of parallel programs. IEEE Transactions on Parallel and Distributed Systems July 1991, 2(3):264-280.
291. Marcotty Michael, Ledgard Henry F., Bochmann Gregor V. A sampler of formal definitions. ACM Computing Surveys June 1976, 8(2):191-276.
292. Marathe Virendra J., Moir Mark Toward high performance nonblocking software transactional memory. Proceedings of the Thirteenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming February 2008, 227-236.
293. Moon David A. MacLisp Reference Manual 1978, MIT Artificial Intelligence Laboratory.
294. Moon David A. Object-oriented programming with Flavors. OOPSLA '86 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications September 1986, 1-8.
295. Morgan Howard L. Spelling correction in systems programs. Communications of the ACM 1970, 13(2):90-94.
296. Murer Stephan, Omohundro Stephen, Stoutamire David, Szyperski Clemens Iteration abstraction in Sather. ACM Transactions on Programming Languages and Systems January 1996, 18(1):1-15.
297. Manson Jeremy, Pugh William, Adve Sarita V. The Java memory model. Proceedings of the Thirty-Second ACM Symposium on Principles of Programming Languages January 2005, 378-391.
298. Metcalf Michael, Reid John Fortran 90/95 Explained 1996, Oxford University Press.
299. Miller James S., Ragsdale Susann The Common Language Infrastructure Annotated Standard 2004, Addison-Wesley, Based on ECMA-335, 2nd Edition, 2002.
300. Michael Maged M., Scott Michael L. Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors. Journal of Parallel and Distributed Computing 1998, 51:1-26.
301. Milner Robin, Tofte Mads, Harper Robert, MacQueen David The Definition of Standard ML-Revised 1997, MIT Press.
302. Muchnick Steven S. Advanced Compiler Design and Implementation 1997, Morgan Kaufmann.
303. McKenzie Bruce J., Yeatman Corey, De Vere Lorraine Error repair in shift-reduce parsers. ACM Transactions on Programming Languages and Systems July 1995, 17(4):672-689.
304. Nikhil Rishiyur S., Arvind Implicit Parallel Programming in pH 2001, Morgan Kaufmann.
305. Backus J.W., Bauer F.L., Green J., Katz C., McCarthy J., Perlis A.J., Rutishauser H., Samelson K., Vauquois B., Wegstein J.H., van Wijngaarden A., Woodger M. Revised report on the algorithmic language ALGOL 60. Communications of the ACM January 1963, 6(1):1-23. Peter Naur (ed.), Original version appeared in the May 1960 issue.
306. Kristen Nygaard and Ole-Johan Dahl. The development of the Simula languages. HOPL I Proceedings [Wex78], pages 439-493.
307. Necula George C. Proof-carrying code. Conference Record of the Twenty-Fourth ACM Symposium on Principles of Programming Languages January 1997, 106-119.
308. Nelson Theodor Holm Complex information processing: A file structure for the complex, the changing, and the indeterminate. Proceedings of the Twentieth ACM National Conference August 1965, 84-100.
309. Oskin Mark The revolution inside the box. Communications of the ACM July 2008, 51(7):70-78.
310. Ousterhout John K. Scheduling techniques for concurrent systems. Proceedings of the Third International Conference on Distributed Computing Systems October 1982, 22-30.
311. Ousterhout John K. Tcl and the Tk Toolkit 1994, Addison-Wesley Professional.
312. Ousterhout John K. Scripting: Higher-level programming for the 21st century. IEEE Computer March 1998, 31(3):23-30.
313. Pagan Frank G. A Practical Guide to Algol 68 1976, John Wiley and Sons.
314. Parnas David L. On the criteria to be used in decomposing systems into modules. Communications of the ACM December 1972, 15(12):1053-1058.
315. Patterson David A. Reduced instruction set computers. Communications of the ACM January 1985, 28(1):8-21.
316. Patterson David A., Ditzel David R. The case for the reduced instruction set computer. ACM SIGARCH Computer Architecture News October 1980, 8(6):25-33.
317. Peterson Larry L., Davie Bruce S. Computer Networks: A Systems Approach 2007, Morgan Kaufmann. fourth edition.
318. Peterson Gary L. Myths about the mutual exclusion problem. Information Processing Letters June 1981, 12(3):115-116.
319. Jones Simon L.Peyton The Implementation of Functional Programming Languages 1987, Prentice-Hall.
320. Jones Simon L.Peyton Implementing lazy functional languages on stock hardware: The Spinless Tagless G-machine. Journal of Functional Programming 1992, 2(2):127-202.
321. Jones Simon Peyton Tackling the Awkward Squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. Engineering Theories of Software Construction 2001, 47-96. IOS Press, Originally presented at the Marktoberdorf Summer School, 2000. Revised and corrected version available at. http://research.microsoft.com/~simonpj/papers/marktoberdorf/mark.pdf, T. Hoare, M. Broy, R. Steinbruggen (Eds.).
322. Haskell 98 Language and Libraries: The Revised Report 2003, Cambridge University Press, Available at. http://haskell.org/definition/, S.L.P. Jones (Ed.).
323. Patterson David A., Hennessy John L. Computer Organization and Design: The Hardware-Software Interface 2008, Morgan Kaufmann. fourth edition.
324. Pierce Benjamin C. Types and Programming Languages 2002, MIT Press.
325. Parr Terrence J., Quong R.W. ANTLR: A predicated- LL(k) parser generator. Software-Practice and Experience July 1995, 25(7):789-810.
326. Pugh William The Java memory model is fatally flawed. Concurrency-Practice and Experience May 2000, 12(6):445-455.
327. Radin George The 801 minicomputer. Proceedings of the First International Symposium on Architectural Support for Programming Languages and Operating Systems March 1982, 39-47.
328. Ramesh S. A new efficient implementation of CSP with output guards. Proceedings of the Seventh International Conference on Distributed Computing Systems September 1987, 266-273.
329. Reps Thomas Generating Language-Based Environments 1984, MIT Press, Winner of the 1983 ACM Doctoral Dissertation Award.
330. Ramakrishna Rau B., Fisher Joseph A. Instruction-level parallel processing: History, overview, and perspective. Journal of Supercomputing May 1993, 7(1/2):9-50.
331. Robinson John Alan A machine-oriented logic based on the resolution principle. Journal of the ACM January 1965, 12(1):23-41.
332. Robinson John Alan Logic programming-past, present, and future. New Generation Computing 1983, 1(2):107-124.
333. ALGOL 60 Implementation: The Translation and Use of ALGOL 60 Programs on a Computer 1964, Academic Press, A.P.I.C. Studies in Data Processing #5. B. Randell, L.J. Russell (Eds.).
334. Rabin Michael O., Scott Dana S. Finite automata and their decision problems. IBM Journal of Research and Development 1959, 3(2):114-125.
335. Rosenkrantz Daniel J., Stearns Richard E. Properties of deterministic top-down grammars. Information and Control October 1970, 17(3):226-256.
336. Reps Thomas, Teitelbaum Timothy The Synthesizer Generator: A System for Constructing Language-Based Editors 1988, Springer-Verlag.
337. Rubin Frank 'GOTO considered harmful' considered harmful. Communications of the ACM March 1987, 30(3):195-196. Further correspondence appears in Volume 30, Numbers 6, 7, 8, 11, and 12.
338. Rutishauser Heinz Description of ALGOL 60 1967, Springer-Verlag.
339. Reiser Martin, Wirth Niklaus Programming in Oberon-Steps Beyond Pascal and Modula 1992, Addison-Wesley.
340. Strom Robert E., Bacon David F., Goldberg Arthur P., Lowry Andy, Yellin Daniel M., Yemini Shaula Alexander Hermes: A Language for Distributed Computing 1991, Prentice-Hall.
341. Siewiorek Daniel P., Bell C.Gordon, Newell Allen Computer Structures: Principles and Examples 1982, McGraw-Hill.
342. Scholz Sven-Bodo Single assignment C-Efficient support for high-level array operations in a functional setting. Journal of Functional Programming 2003, 13(6):1005-1059.
343. Sites Richard L., Chernoff Anton, Kirk Matthew B., Marks Maurice P., Robinson Scott G. Binary translation. Communications of the ACM February 1993, 36(2):69-81.
344. Scott Michael L. The Lynx distributed programming language: Motivation, design, and experience. Computer Languages 1991, 16(3/4):209-233.
345. Schwartz Mayer D., Delisle Norman M., Begwani Vimal S. Incremental compilation in Magpie. Proceedings of the SIGPLAN '84 Symposium on Compiler Construction June 1984, 122-131.
346. Schwartz Jacob T., Dewar Robert B.K., Dubinsky Ed, Schonberg Edmond Programming with Sets: An Introduction to SETL 1986, Springer-Verlag, Texts and Monographs in Computer Science.
347. 6 Report on the Algorithmic Language Scheme September 2007, Available at. http://www.r6rs.org/.
348. Srivastava Amitabh, Eustace Alan ATOM: A system for building customized program analysis tools. Proceedings of the SIGPLAN 1994 Conference on Programming Language Design and Implementation June 1994, 196-205.
349. Sebesta Robert W. Concepts of Programming Languages 2008, Pearson/Addison-Wesley. eighth edition.
350. Sethi Ravi Programming Languages: Concepts and Constructs 1996, Addison-Wesley. second edition.
351. Solomon Marvin H., Finkel Raphael A. A note on enumerating binary trees. Journal of the ACM January 1980, 27(1):3-5.
352. Scott Michael L., Finkel Raphael A. A simple mechanism for type security across compilation units. IEEE Transactions on Software Engineering August 1988, SE-14(8):1238-1239.
353. Schoinas Ioannis, Falsafi Babak, Lebeck Alvin R., Reinhardt Steven K., Larus James R., Wood David A. Fine-grain access control for distributed shared memory. Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems October 1994, 297-306.
354. Scales Daniel J., Gharachorloo Kourosh Shasta: A low overhead, software-only approach for supporting fine-grain shared memory. Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems October 1996, 174-185.
355. Syme Don, Granicz Adam, Cisternino Antonio Expert F# 2007, Apress.
356. Sajeev A.S.M., Hurst A.John Programming persistence in χ. IEEE Computer September 1992, 25(9):57-66.
357. Somogyi Zoltan, Henderson Fergus, Conway Thomas The execution algorithm of Mercury: An efficient purely declarative logic programming language. Journal of Logic Programming October-December 1996, 29(1-3):17-64.
358. Siegel Jon CORBA Fundamentals and Programming 1996, John Wiley and Sons.
359. Sipser Michael Introduction to the Theory of Computation 1997, PWS Publishing Company.
360. Richard L. Sites. Algol W reference manual. Technical Report STAN-CS-71-230, Computer Science Department, Stanford University, February 1972.
361. Saltz Joel H., Mirchandaney Avi, Crowley Kay Run-time parallelization and scheduling of loops. IEEE Transactions on Computers May 1991, 40(5):603-612.
362. Snir Marc, Otto Steve, Huss-Lederman Steven, Walker David, Dongarra Jack, Gropp William, Lumsdaine Andrew, Lusk Ewing, Nitzberg Bill, Saphir William MPI: The Complete Reference 1998, MIT Press, Two-volume set. First edition available in hypertext at. http://www.netlib.org/utk/papers/mpi-book/mpi-book.html, second edition.
363. Raj Srinivasan. RPC: Remote procedure call protocol specification version 2. Internet Request for Comments #1831, August 1995. Available as www.rfc-archive.org/getrfc.php?rfc=1831. http://www.rfc-archive.org/getrfc.php?rfc=1831.
364. Scott Dana S., Strachey Christopher Toward a mathematical semantics for computer language. Proceedings, Symposium on Computers and Automata 1971, 19-46. Polytechnic Institute of Brooklyn Press. J. Fox (Ed.).
365. Snodgrass Richard, Shannon Karen P. The Interface Description Language: Definition and Use 1989, Computer Science Press.
366. Stansifer Ryan D. ML Primer 1992, Prentice-Hall.
367. Stansifer Ryan D. The Study of Programming Languages 1995, Prentice-Hall.
368. Steele Guy L. Common Lisp-The Language 1990, Digital Press, Available in hypertext at. http://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html, second edition.
369. Stoy Joseph E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics 1977, volume 1. MIT Press.
370. Stroustrup Bjarne The C++ Programming Language 1997, Addison-Wesley, Second edition, 1991. third edition.
371. Sunderam Vaidyalingam S. PVM: A framework for parallel distributed computing. Concurrency-Practice and Experience December 1990, 2(4):315-339.
372. JavaBeans August 1997, Sun Microsystems, Version 1.01-A. Available at. http://java.sun.com/javase/technologies/desktop/javabeans/docs/spec.html.
373. The Java HotSpot Virtual Machine, v1.4.1, d2 September 2002, Sun Microsystems, Available at. http://java.sun.com/products/hotspot/docs/whitepaper/Java_Hotspot_v1.4.1/Java_HSpot_WP_v1.4.1_1002_1.html.
374. Håkan Sundell. Efficient and Practical Non-Blocking Data Structures. Ph. D. dissertation, Department of Computing Science, Chalmers University of Technology and Göteborg University, 2004. Available as www.cs.chalmers.se/~tsigas/papers/Haakan-Thesis.pdf. http://www.cs.chalmers.se/~tsigas/papers/Haakan-Thesis.pdf.
375. Schorr Herbert, Waite William M. An efficient machine-independent procedure for garbage collection in various list structures. Communications of the ACM August 1967, 10(8):501-506.
376. Smith James E., Weiss Shlomo PowerPC 601 and Alpha 21064: A tale of two RISCs. IEEE Computer June 1994, 27(6):46-58.
377. Swinehart Daniel C., Zellweger Polle T., Beach Richard J., Hagmann Robert B. A structural view of the Cedar programming environment. ACM Transactions on Programming Languages and Systems October 1986, 8(4):419-490.
378. Tanenbaum Andrew S. A comparison of Pascal and ALGOL 68. The Computer Journal November 1978, 21(4):316-323.
379. Tanenbaum Andrew S. Computer Networks 2002, Prentice-Hall. fourth edition.
380. Thomas Dave, Fowler Chad, Hunt Andy Programming Ruby-The Pragmatic Programmer's Guide 2004, The Pragmatic Programmers, LLC, First edition (2001) available in hypertext at. http://www.rubycentral.com/book/, second edition.
381. Thompson Tom Building the better virtual CPU. Byte August 1995, 20(8):149-150.
382. Tichy Walter F. Smart recompilation. ACM Transactions on Programming Languages and Systems July 1986, 8(3):273-291.
383. Teitelman Warren, Masinter Larry The Interlisp programming environment. IEEE Computer April 1981, 14(4):25-33.
384. Teitelbaum Timothy, Reps Thomas The Cornell Program Synthesizer: A syntax-directed programming environment. Communications of the ACM September 1981, 24(9):563-573.
385. R. Kent Treiber. Systems programming: Coping with parallelism. Technical Report RJ 5118, IBM Almaden Research Center, April 1986.
386. Turner David A. An overview of Miranda. ACM SIGPLAN Notices December 1986, 21(12):158-166.
387. Tabba Fuad, Wang Cong, Goodman James R., Moir Mark NZTM: Nonblocking zero-indirection transactional memory. Second ACM SIGPLAN Workshop on Transactional Computing August 2007, Available as. http://www.cs.rochester.edu/meetings/TRANSACT07/papers/tabba.pdf.
388. Unrau Ronald C., Krieger Orran, Gamsa Benjamin, Stumm Michael Experiences with locking in a NUMA multiprocessor operating system kernel. Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation November 1994, 139-152.
389. Ullman Jeffrey D. Implementation of logical query languages for databases. ACM Transactions on Database Systems September 1985, 10(3):289-321.
390. The Chicago Manual of Style 2003, University of Chicago Press Staff, University of Chicago Press, Available in hypertext at. http://www.chicagomanualofstyle.org/home.html, fifteenth edition.
391. Ungar David, Smith Randall B. Self: The power of simplicity. Lisp and Symbolic Computation July 1991, 4(3):187-205.
392. Ullman Jeffrey D., Widom Jennifer A First Course in Database Systems 1997, Prentice-Hall.
393. Virgilio Thomas R., Finkel Raphael A. Binding strategies and scope rules are independent. Computer Languages 1982, 7(2):61-67.
394. Veenstra Jack E., Fowler Robert J. Mint: A front end for efficient simulation of shared-memory multiprocessors. Proceedings of the Second International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems January 1994, 201-207.
395. van Wijngaarden A., Mailloux B.J., Peck J.E., Koster C.H.A., Sintzoff M., Lindsey C.H., Meertens L.G.L., Fisker R.G. Revised report on the algorithmic language ALGOL 68. Acta Informatica. ACM SIGPLAN Notices May 1977, 12(5):1-70.
396. The Python Language Reference Manual 2003, Network Theory, Ltd. G. van Rossum, F.L. Drake (Eds.).
397. Wadler Philip An angry half-dozen. ACM SIGPLAN Notices February 1998, 33(2):25-30. NB: table of contents on cover of issue is incorrect.
398. Wadler Philip Why no one uses functional languages. ACM SIGPLAN Notices August 1998, 33(8):23-27.
399. Watt David Anthony The parsing problem for affix grammars. Acta Informatica 1977, 8(1):1-20.
400. Wall Larry, Christiansen Tom, Orwant Jon Programming Perl 2000, O'Reilly and Associates. third edition.
401. Fred Webb. Fortran story-The real scoop. Submitted to alt.folklore.computers, 1989. Quoted by Mark Brader in the ACM RISKS on-line forum, volume 9, issue 54, December 12, 1989.
402. Wegner Peter Concepts and paradigms of object-oriented programming. OOPS Messenger August 1990, 1(1):7-87. Expanded version of the keynote address from OOPSLA '89.
403. Wettstein Horst The problem of nested monitor calls revisited. ACM Operating Systems Review January 1978, 12(1):19-23.
404. Proceedings of the ACM SIGPLAN History of Programming Languages (HOPL) Conference 1981, ACM Monograph Series, Academic Press. R.L. Wexelblat (Ed.).
405. Wirth Niklaus, Hoare Charles Antony Richard A contribution to the development of ALGOL. Communications of the ACM June 1966, 9(6):413-431.
406. Watkins Damien, Hammond Mark, Abrams Brad Programming in the .NET Environment 2003, Addison-Wesley.
407. Wilson Paul R. Pointer swizzling at page fault time: Efficiently and compatibly supporting huge address spaces on standard hardware. Proceedings of the International Workshop on Object Orientation in Operating Systems September 1992, 364-377.
408. Wilson Paul R. Uniprocessor garbage collection techniques. Proceedings of the International Workshop on Memory Management, volume 637 of Lecture Notes in Computer Science 1992, 1-42. Springer-Verlag, Workshop held at St. Malo, France, September 1992. Expanded version available as. ftp://ftp.cs.utexas.edu/pub/garbage/bigsurv.ps.
409. Wirth Niklaus The programming language Pascal. Acta Informatica 1971, 1(1):35-63.
410. Wirth Niklaus Algorithms + Data Structures = Programs 1976, Prentice-Hall.
411. Wirth Niklaus Design and implementation of Modula. Software-Practice and Experience January-February 1977, 7(1):67-84.
412. Wirth Niklaus Modula: A language for modular multiprogramming. Software-Practice and Experience January-February 1977, 7(1):3-35.
413. Wirth Niklaus The module: A system structuring facility in high-level programming languages. Language Design and Programming Methodology, volume 79 of Lecture Notes in Computer Science 1980, 1-24. Springer-Verlag, Proceedings of a symposium held at Sydney, Australia, September 1979. J.M. Tobias (Ed.).
414. Wirth Niklaus From programming language design to computer construction. Communications of the ACM February 1985, 28(2):159-164. The 1984 Turing Award lecture.
415. Wirth Niklaus Programming in Modula-2 1985, Springer-Verlag, Texts and Monographs in Computer Science. third, corrected edition.
416. Wirth Niklaus From Modula to Oberon. Software-Practice and Experience July 1988, 18(7):661-670.
417. Wirth Niklaus The programming language Oberon. Software-Practice and Experience July 1988, 18(7):671-690.
418. Wirth Niklaus Type extensions. ACM Transactions on Programming Languages and Systems April 1988, 10(2):204-214. Relevant correspondence appears in Volume 13, Number 4.
419. Niklaus Wirth. Modula-2 and Oberon. HOPL III Proceedings [Ass07], pages 3-1-3-10.
420. Wilson Paul R., Johnstone Mark S. Real-time non-copying garbage collection. OOPSLA '93 Workshop on Memory Management and Gargage Collection September 1993.
421. Welch Brent B., Jones Ken, Hobbs Jeffrey Practical Programming in Tcl and Tk 2003, Prentice-Hall, Sample chapters from previous editions available on line at. http://www.beedub.com/book/, fourth edition.
422. Wahbe Robert, Lucco Steven, Anderson Thomas E., Graham Susan L. Efficient software-based fault isolation. Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles December 1993, 203-216.
423. Wilhelm Reinhard, Maurer Dieter Compiler Design 1995, Addison-Wesley, Translated from the German by Stephen S. Wilson.
424. Walker Janet H., Moon David A., Weinreb Daniel L., McMahon Mike The Symbolics Genera programming environment. IEEE Software November 1987, 4(6):36-45.
425. Wolfe Michael High Performance Compilers for Parallel Computing 1996, Addison-Wesley.
426. Character Model for the World Wide Web 1.0: Fundamentals February 2005, World Wide Web Consortium, Available as. http://www.w3.org/TR/charmod/.
427. Extensible Stylesheet Language (XSL) Version 1.1 December 2006, World Wide Web Consortium, Available as. http://www.w3.org/TR/xsl/.
428. XML Path Language (XPath) 2.0 January 2007, World Wide Web Consortium, Available as. http://www.w3.org/TR/xpath20/.
429. XSL Transformations (XSLT) Version 2.0 January 2007, World Wide Web Consortium, Available as. http://www.w3.org/TR/xslt20/.
430. Welsh Jim, Sneeringer W.J., Hoare Charles Antony Richard Ambiguities and insecurities in Pascal. Software-Practice and Experience November-December 1977, 7(6):685-696.
431. Yang Jae-Heon, Anderson James H. Fast, scalable synchronization with minimal hardware support (extended abstract). Proceedings of the Twelfth Annual ACM Symposium on Principles of Distributed Computing August 1993, 171-182.
432. 3. Information and Control February 1967, 10(2):189-208.
433. Yang Junfeng, Twohey Paul, Engler Dawson, Musuvathi Madanlal Using model checking to find serious file system errors. Proceedings of the Sixth USENIX Symposium on Operating Systems Design and Implementation December 2004, 273-288.
434. Zhou Neng-Fa Parameter passing and control stack management in Prolog implementation revisited. ACM Transactions on Programming Languages and Systems November 1996, 18(6):752-779.
435. Zhao Qin, Rabbah Rodric, Amarasinghe Saman, Rudolph Larry, Wong Weng-Fai How to do a million watchpoints: Efficient debugging using dynamic instrumentation. Proceedings of the Seventeenth International Conference on Compiler Construction March 2008, 147-162.