The Collection of
Computer Science Bibliographies
Up: Mirror of the Collection of Computer Science Bibliographies Home

Bibliographies on Programming Languages, Type Theory and Compiler Technology

You can add bibliographies and references to this collection!
See also the bibliographies on Software/Hardware Engineering and Formal Methods.

Search all bibliographies in this section:

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

#RefsBibliographyDate
6712 Bibliography on the Fortran programming language (2004)
6688 Bibliography for the SIGPLAN Notices (2004)
5134 Bibliography on the JAVA programming language (2004)
5073 Bibliography on Programming Languages and Compiler Construction (1996)
2880 Warwick bibliography related to functional languages (1994)
2490 Bibliography of the C/C++ Users Journal (2002)
2100 The Garbage Collection Bibliography (2004)
1806 Bibliography on Compilers (1992)
1644 Bibliography on Lisp from 1960-1992 (1992)
1457 Bibliography for the ACM SIGAda Ada Letters (2003)
1359 Bibliography on programming languages (2004)
1304 A bibliography on optimizing and parallelizing compilers (1999)
1139 Bibliography on Attribute Grammars (1999)
856 Bibliography of publications in the electronic magazine JavaWorld (1999)
844 Bibliography on Programming Languages, Compilers, and Computer Architecture (2004)
766 Bibliography for the ACM Transactions on Programming Languages and Systems (TOPLAS) (2004)
764 Bibliography on Semantics (2004)
748 Bibliography of garbage collection and (to lesser degrees) memory hierarchies and other aspects of heap management (like persistence) (1995)
736 Bibliography on the theory of programming languages (1995)
677 A Bibliography on Garbage Collection (1994)
646 Bibliography on partial evaluation and mixed computation (1998)
646 Bibliography of the Annual ACM Symposiums on Principles of Programming Languages (POPL) (1995)
571 Forth Bibliography (1997)
549 Bibliography of publications in the journal Science of Computer Programming (2003)
545 Bibliography on the Common LISP language (1999)
504 Bibliography on Semantics Based Program Analysis and Manipulation (from Semantics (TOPPS) group of DIKU) (2004)
470 Bibliography on compiler-related issues (1994)
469 Bibliography on the programming language Ada (1990)
449 Bibliography containing references to (categorical) logic in computer science and type theory (1994)
413 Bibliography of the journal Computer Languages (2003)
360 Bibliography on the mathematics of program construction (1993)
357 Abstract Interpretation Bibliography (1993)
341 Bibliography of the Computer Language magazine (1993)
340 Bibliography of the proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (formerly ACM SIGPLAN Symposium on Compiler Construction) (1994)
334 Bibliography of International Organization for Standardization (ISO) standards for computer programming languages (2003)
279 Papers and talks produced by the Institut für Computersprachen, TU Wien (2003)
257 Bibliography on programming languages and compilers technology (2004)
254 Bibliography of the magazine "Java Report" (1998)
237 Bibliography of the Ada User Journal (1998)
234 Bibliography for the magazine C++ Report (1997)
199 Bibliography for the Journal of C Language Translation (1995)
178 Bibliography of American National Standards Institute (ANSI) standards for computer programming languages (2000)
176 Bibliography on Applicative Programming and Specification (with emphasis on ML) (1994)
169 Bibliography on compilers (1990)
160 Bibliography of the proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (1994)
157 Bibliography of Persistence Papers at St Andrews University (1999)
140 The bibliography of the ICSLA project (1997)
134 Bibliography of publications about Python, an object-oriented scripting and programming language (2003)
131 State in Functional Programming: An Annotated Bibliography (1993)
117 Bibliography on Code Compaction (2002)
113 Bibliography on optimizing compilers (1988)
113 Bibliography on the programming language and operating system Oberon (1998)
113 Bibliography of the Publications of the Programming Languages and Compilers Group at University of Paderborn, Germany (2003)
109 Bibliography on optimization in compiling (1989)
93 Bibliography on Action Semantics (1997)
53 Bibliography on the Icon programming language (2004)
42 Bibliography of ACM Letters on Programming Languages and Systems (LOPLAS) (1993)
22 Proceedings of the 1992 ACM Workshop on ML and its Applications (1992)
17 Proceedings of the 1992 ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM) (1992)
14 ``Code Generation --- Concepts, Tools, Techniques'', Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991 (1991)
10 Bibliography of the proceedings of the First Workshop on C++ Template Programming (2000)
55692Total number of references in this section

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.