Concepts of programming languages

From the Publisher: This best-selling book, now in its fourth edition, provides a wide-ranging and in-depth discussion of programming language concepts. As in previous editions, the author describes fundamental concepts of programming languages by presenting design issues of the various language constructs, examining the design choices for these constructs in a few common languages, and critically comparing the design alternatives. The book covers the most widely used methods of syntax description and introduces the most common approaches to describing the semantics of programming languages. Discussions of implementation methods and issues are integrated throughout the book.

[1]  Daniel G. Bobrow,et al.  An efficient, incremental, automatic garbage collector , 1976, CACM.

[2]  Thomas Reps,et al.  Programming Techniques and Data Structures , 1981 .

[3]  Charles N. Fischer,et al.  Crafting a Compiler with C , 1991 .

[4]  Leonard Gilman,et al.  APL, an interactive approach , 1974 .

[5]  David Wheeler.  Programme organization and initial orders for the EDSAC , 1950, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[6]  John W. Backus,et al.  The IBM 701 Speedcoding System , 1954, JACM.

[7]  C. A. R. Hoare,et al.  A contribution to the development of ALGOL , 1966, CACM.

[8]  T. Moto-oka,et al.  CHALLENGE FOR KNOWLEDGE INFORMATION PROCESSING SYSTEMS (Preliminary Report on Fifth Generation Computer Systems) , 1982 .

[9]  William A. Wulf,et al.  BLISS: a language for systems programming , 1971, CACM.

[10]  M. V. Wilkes.  Pure and applied programming , 1952, ACM '52.

[11]  Donald E. Knuth,et al.  The Early Development of Programming Languages. , 1977 .

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Seymour Papert,et al.  Mindstorms: Children, Computers, and Powerful Ideas , 1981 .

[14]  Per Brinch Hansen,et al.  Operating System Principles , 1973 .

[15]  Maurice V. Wilkes,et al.  The preparation of programs for an electronic digital computer , 1958 .

[16]  David J. Farber,et al.  SNOBOL , A String Manipulation Language , 1964, JACM.

[17]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[18]  B. J. Mailloux,et al.  Revised Report on the Algorithmic Language ALGOL 68 , 1976, SIGP.

[19]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[20]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[21]  Corrado Böhm,et al.  Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.

[22]  Jean E. Sammet,et al.  Programming languages - history and fundamentals , 1969, Prentice-Hall series in automatic computation.

[23]  Peter Wegner,et al.  The Vienna Definition Language , 1972, CSUR.

[24]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[25]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[26]  S. J. Young,et al.  The programming language ADA reference manual: Springer-Verlag (1981) pp 243, $7.90, DM 16.50 , 1982, Microprocess. Microsystems.

[27]  Uwe F. Pleban,et al.  Direct implementation of compiler specifications or the pascal p-code compiler revisited , 1984, POPL '84.

[28]  Kazuhiro Fuchi.  AIMING FOR KNOWLEDGE INFORMATION PROCESSING SYSTEMS , 1982 .

[29]  Richard L. Wexelblat.  History of programming languages I , 1978 .

[30]  C. A. R. Hoare,et al.  An Axiomatic Definition of the Programming Language PASCAL , 1973, Acta Informatica.

[31]  Alan Snyder,et al.  Exception Handling in CLU , 1979, IEEE Transactions on Software Engineering.

[32]  Edsger W. Dijkstra,et al.  Go To Statement Considered Harmful , 2022, Software Pioneers.

[33]  Per Brinch Hansen,et al.  The Architecture of Concurrent Programs , 1977 .

[34]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[35]  Martin Richards,et al.  BCPL: a tool for compiler writing and system programming , 1969, AFIPS '69 (Spring).

[36]  Alfred V. Aho,et al.  The awk programming language , 1988 .

[37]  Stephen G. Kochan.  Programming in Objective-C , 1983 .

[38]  Frank DeRemer,et al.  Efficient computation of LALR(1) look-ahead sets , 2004, SIGP.

[39]  Bertrand Meyer,et al.  Introduction to the Theory of Programming Languages , 1990 .

[40]  David A. Watt,et al.  An extended attribute grammar for Pascal , 1979, SIGP.

[41]  Charles Antony Richard Hoare,et al.  Hints on programming language design. , 1973 .

[42]  Robin Milner,et al.  Definition of standard ML , 1990 .

[43]  C. A. R. Hoare,et al.  The emperor's old clothes , 1981, CACM.

[44]  Niklaus Wirth,et al.  Modula: A language for modular multiprogramming , 1977, Softw. Pract. Exp..

[45]  Clark Weissman,et al.  LISP 1.5 primer , 1967 .

[46]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[47]  Alan Kay,et al.  The reactive engine , 1969 .

[48]  J. E. L. Peck,et al.  Revised report on the algorithmic languageAlgol 60 , 1962, Springer Berlin Heidelberg.

[49]  John B. Goodenough,et al.  Exception handling: issues and a proposed notation , 1975, CACM.

[50]  Robert A. Kowalski,et al.  Logic and semantic networks , 1979, CACM.

[51]  Brian A. Wichmann,et al.  Rationale for the design of the Ada programming language , 1979, SIGP.

[52]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[53]  Franklin L. DeRemer,et al.  Simple LR(k) grammars , 1971, Commun. ACM.

[54]  Rodney Farrow,et al.  LINGUIST-86: Yet another translator writing system based on attribute grammars , 1982, SIGPLAN '82.

[55]  Marvin V. Zelkowitz,et al.  Programming Languages: Design and Implementation , 1975 .

[56]  Kenneth E. Iverson,et al.  A programming language , 1899, AIEE-IRE '62 (Spring).

[57]  Niklaus Wirth,et al.  On the Design of Programming Languages , 1974, IFIP Congress.

[58]  Richard C. Holt.  Structured concurrent programming with operating systems applications , 1978 .

[59]  Michael Marcotty,et al.  A genealogy of control structures , 1975, CACM.

[60]  Guy L. Steele,et al.  Common Lisp the Language , 1984 .

[61]  Ralph E. Griswold,et al.  The SNOBOL 4 programming language , 1968 .

[62]  Donald E. Knuth,et al.  On the Translation of Languages from Left to Right , 1965, Inf. Control..

[63]  David Turner.  An overview of Miranda , 1986, SIGP.

[64]  Peter Naur.  Appendix: Revised report on the algorithmic language ALGOL 60 , 1964 .

[65]  Nelson Correa,et al.  Empty Categories, Chain Binding, and Parsing , 1991 .

[66]  Bjarne Stroustrup,et al.  The Annotated C++ Reference Manual , 1990 .

[67]  Maurice V. Wilkes,et al.  The preparation of programs for an electronic digital computer : with special reference to the EDSAC and the use of a library of subroutines , 1982 .

[68]  Gregory R. Andrews,et al.  Concepts and Notations for Concurrent Programming , 1983, CSUR.

[69]  Donald E. Knuth,et al.  Structured Programming with go to Statements , 1974, CSUR.

[70]  P. Brinch-Hansen,et al.  The programming language Concurrent Pascal , 1975 .

[71]  Per Brinch Hansen,et al.  Distributed processes: a concurrent programming concept , 1978, CACM.

[72]  Uwe F. Pleban,et al.  Experience with an experimental compiler generator based on denotational semantics , 1982, SIGPLAN '82.

[73]  Allen Newell,et al.  The logic theory machine-A complex information processing system , 1956, IRE Trans. Inf. Theory.

[74]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..

[75]  Michael J. C. Gordon,et al.  The Denotational Description of Programming Languages , 1979, Springer New York.

[76]  M. B. Ari.  Principles of Concurrent Programming , 1982 .

[77]  Bjarne Stroustrup,et al.  The C++ programming language (2nd ed.) , 1991 .

[78]  Christopher J. Shaw.  A specification of JOVIAL , 1963, CACM.

[79]  Jean E. Sammet,et al.  Roster of programming languages for 1976-77 , 1974, SIGP.

[80]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .

[81]  David G. Korn,et al.  The new KornShell command and programming language , 1989 .

[82]  William M. Waite,et al.  An efficient machine-independent procedure for garbage collection in various list structures , 1967, CACM.

[83]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[84]  Warren Teitelman,et al.  The interlisp reference manual , 1974 .

[85]  Peter Henderson,et al.  Functional programming - application and implementation , 1980, Prentice Hall International Series in Computer Science.

[86]  Niklaus Wirth,et al.  The programming language Pascal (Revised Report) , 1973 .