The Collection of
Computer Science Bibliographies

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.


in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

#RefsBibliographyDate
9877 Bibliography for the SIGPLAN Notices (2013)
7922 Bibliography on the Fortran programming language (2013)
7601 Bibliography on the JAVA programming language (2013)
5918 Bibliographies of various confererences in the area of computer architecture, compilers and related fields (2002)
5073 Bibliography on Programming Languages and Compiler Construction (1996)
2940 The Garbage Collection Bibliography (2013)
2880 Warwick bibliography related to functional languages (1994)
2491 Bibliography of the C/C++ Users Journal (2005)
1934 Bibliography on programming languages (2014)
1806 Bibliography on Compilers (1992)
1765 Bibliography for the ACM SIGAda Ada Letters (2013)
1644 Bibliography on Lisp from 1960-1992 (1992)
1304 A bibliography on optimizing and parallelizing compilers (1999)
1302 Bibliography of publications in the journal Science of Computer Programming (2013)
1244 Forth Bibliography (2005)
1140 Bibliography on Attribute Grammars (1999)
1019 Bibliography for the ACM Transactions on Programming Languages and Systems (TOPLAS) (2013)
897 Bibliography on Programming Languages, Compilers, and Computer Architecture (2009)
856 Bibliography of publications in the electronic magazine JavaWorld (1999)
843 Bibliography on Semantics (2010)
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)
721 Bibliography of the Ada User Journal (2013)
677 A Bibliography on Garbage Collection (1994)
646 Bibliography on partial evaluation and mixed computation (1998)
628 Bibliography on Semantics Based Program Analysis and Manipulation (from Semantics (TOPPS) group of DIKU) (2010)
594 Bibliography on the Common LISP language (2012)
565 Bibliography of the journal Computer Languages (2013)
494 Constraint Handling Rules Bibliography (2013)
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)
422 Bibliography of publications about Python, an object-oriented scripting and programming language (2013)
397 Papers and talks produced by the Institut für Computersprachen, TU Wien (2012)
381 Bibliography of International Organization for Standardization (ISO) standards for computer programming languages (2012)
360 Bibliography on the mathematics of program construction (1993)
357 Abstract Interpretation Bibliography (1993)
341 Bibliography of the Computer Language magazine (1993)
332 Bibliography on programming languages and compilers technology (2013)
253 Bibliography of the magazine "Java Report" (1998)
234 Bibliography for the magazine C++ Report (1997)
199 Bibliography for the Journal of C Language Translation (1995)
182 Bibliography of American National Standards Institute (ANSI) standards for computer programming languages (2011)
176 Bibliography on Applicative Programming and Specification (with emphasis on ML) (1994)
169 Bibliography on compilers (1990)
157 Bibliography of Persistence Papers at St Andrews University (1999)
140 The bibliography of the ICSLA project (1997)
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)
106 static single assignment form (2013)
93 Bibliography on Action Semantics (1997)
54 Bibliography on the Icon programming language (2010)
42 Bibliography of ACM Letters on Programming Languages and Systems (LOPLAS) (1993)
39 Journées Francophones des Langages Applicatifs (2001)
36 Bibliography on publications about, or based on, the AT&T/Princeton lcc C compiler (2004)
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)
0 Bibliography of the proceedings of the First Workshop on C++ Template Programming (2000)
72763Total number of references in this section
http://liinwww.ira.uka.de/bibliography/Compiler/index.html
liinwww.ira.uka.de
crawl=CC-MAIN-2013-48
16016
application/http; msgtype=response
sha1:WUFDO4R6JDCLXS5JEENCFUFX7TE3TXDT
<urn:uuid:096fb5ed-f922-417d-bda0-55d725254dca>
2013-12-10T09:46:49Z
141.3.32.193
sha1:KUYTMHBKYRETRSLH4IEYAJB5GDCYXAOE
<urn:uuid:345014f0-8c52-4331-b968-06dc9ff727a7>
http://liinwww.ira.uka.de/bibliography/Compiler/index.html
response
<urn:uuid:03bacd40-6766-4131-b737-6daf569db438>
robots: classic
hostname: ip-10-33-133-15.ec2.internal
software: Nutch 1.6 (CC)/CC WarcExport 1.0
isPartOf: CC-MAIN-2013-48
operator: CommonCrawl Admin
description: Wide crawl of the web with URLs provided by Blekko for Winter 2013
publisher: CommonCrawl
format: WARC File Format 1.0
conformsTo: http://bibnum.bnf.fr/WARC/WARC_ISO_28500_version1_latestdraft.pdf