Programming Language and Compiler Bibliographies (original) (raw)

Related Pages

• ACAPS bibliographies. Includes ASPLOS, PACT, PLDI, POPL, and other conferences.
• Women and Work: A Bibliography for Women and Other Scientists
• The Hypertext Bibliography Project
• Literature recommendations (many language related) by Gary Leavens.
• Computer Science Bibliographies at the University of Karlsruhe, including Programming Languages and Compiler Technologyand Object-Oriented Programming and Systems.
• Computer Science Bibliography Glimpse Server
• Other computer science bibliographies.

Journal and conference bibliographies

• Information and Computation
• Journal of C Language Translation
• LICS:Logic in Computer Science
• Logic-programming conferences (various)
• LOPLAS: Letters on Programming Languages and Systems(merged into TOPLAS in 1994)
• TOPLAS: Transactions on Programming Languages and Systems

Other language and compiler bibliographies

• Abstract interpretation
• Abstract interpretation for logic programming
• Attribute grammars
• Database Systems and Logic Programming
• A Searchable Forth Bibliography
• Searchable functional programming bibliography, with abstracts.
• Functional languages (see this readme file).
• Another functional-programming bibliography at St. Andrews University.
  Also available as a hypercard stack.
• Garbage Collection (by Richard Jones)
• Garbage collection (by Nandakumar Sankaran), also in postscript.
• Garbage collection, persistence, and memory hierarchies
• Graph reduction***
• The lambda calculus***
• Lambda calculi based on linear logic***
• Linear logic
• Linking
• Literate programming
• Logical frameworks.
• "Object-Oriented and Operating Systems" bibliography
• Optimizing compiler bibliographies: one,two, three.
• Parallel functional programming (includes abstracts).
• Parallel processing and distributed computing
• Partial evaluation and semantics-based program manipulation
• The pi calculus (also in DVI format)
• Prolog
• Persistent programming languages and database programming (searchable)
• Reflection***
• Scheme bibliography inbib format,postscript, and plaintext.
• Semantics
• State in functional languages (Annotated. Also in postscript)
• Syntactic Control of Interference and Linear Logic reading list
• Vectorizing compilers
• Visual programming NB: Bibliographies marked "***" were culled from the net and may be out of date.

Back to the language research page

Additions and corrections are welcome!
Mark Leone (mleone@cs.cmu.edu)