HiPower's Blog

Compiler Construction Textbooks

• Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman: Compilers: Princiles, Techniques, and Tools. Addison-Wesley 1986, ISBN 0-201-10088-6
• Randy Allen, Ken Kennedy: Optimizing Compilers for Modern Architectures: A Dependence-based Approach. Morgan Kaufmann 2001, ISBN 1-55860-286-0
• Andrew W. Appel: Modern Compiler Implementation in Java: Basic Techniques. Cambridge University Press 1997, ISBN 0-521-58654-2
• Andrew W. Appel: Modern Compiler Implementation in ML: Basic Techniques. Cambridge University Press 1997, ISBN 0-521-58775-1
• Andrew W. Appel: Modern Compiler Implementation in C: Basic Techniques. Cambridge University Press 1997, ISBN 0-521-58653-4
• Andrew W. Appel: Modern Compiler Implementation in Java. Cambridge University Press 1998, ISBN 0-521-58388-8
• Andrew W. Appel: Modern Compiler Implementation in ML. Cambridge University Press 1998, ISBN 0-521-58274-1
• Andrew W. Appel: Modern Compiler Implementation in C. Cambridge University Press 1998, ISBN 0-521-58390-X
• Andrew W. Appel: Modern Compiler Implementation in Java, 2nd edition. Cambridge University Press 2002, ISBN 0-521-82060-X
• Friedrich L. Bauer, Jürgen Eickel (Eds.): Compiler Construction, An Advanced Course, 2nd ed. Lecture Notes in Computer Science 21 Springer 1976, ISBN 3-540-07542-9
• Keith D. Cooper, Linda Torczon: Engineering a Compiler. Morgan Kaufmann 2004, ISBN 1-55860-699-8
• Ralf Hartmut Güting, Martin Erwig: Übersetzerbau - Techniken, Werkzeuge, Anwendungen. Springer 1999, ISBN 3-540-65389-9
• Dick Grune, Henri E. Bal, Ceriel J. H. Jacobs, Koen Langendoen: Modern Compiler Design. John Wiley 2002, ISBN 0-471-97697-0
• Per Brinch Hansen: Brinch Hansen on Pascal Compilers. Prentice-Hall 1985, ISBN 0-13-083098-4
• David R. Hanson, Christopher W. Fraser: A Retargetable C Compiler: Design and Implementation. Addison Wesley 1995, ISBN 0-8053-1670-1
• Uwe Kastens: Übersetzerbau. Oldenbourg 1990, ISBN 3-486-20780-6
• Uwe Kastens, Brigitte Hutt, Erich Zimmermann: GAG: A Practical Compiler Generator. Lecture Notes in Computer Science Vol. 141 Springer 1982, ISBN 3-540-11591-9
• Karen A. Lemone: Design of Compilers - Techniques of Programming Language Translation. CRC Press 1992, ISBN 0-8493-7342-5
• C. Robert Morgan: Building an Optimizing Compiler. Butterworth 1998, ISBN 1-55558179-X
• Steven S. Muchnick: Advanced Compiler Design and Implementation. Morgan Kaufmann 1997, ISBN 1-55860-320-4
• Thomas W. Parsons: Introduction to Compiler Construction. Computer Science Press 1992, ISBN 0-7167-8261-8
• Steven Pemberton, Martin Daniels: Pascal Implementation: The P4 Compiler and Interpreter. Ellis Horwood 1982, ISBN 0-13-653-0311
• Thomas Pittman, James Peters: The Art of Compiler Design: Theory and Practice. Prentice-Hall 1992, ISBN 0-13-046160-1
• William M. Waite, Lynn Robert Carter: An Introduction to Compiler Contruction. HarperCollins 1993, ISBN 0-673-39822-6
• Jim Welsh, Atholl Hay: A Model Implementation of Standard Pascal. Prentice-Hall 1986, ISBN 0-13-586454-2
• Reinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung. Springer 1992, ISBN 3-540-55704-0
• Reinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage. Springer 1997, ISBN 3-540-61692-6
• Niklaus Wirth: Compilerbau - Eine Einführung. Teubner 1977, ISBN 3-519-02338-5
• Hans P. Zima: Compilerbau I: Analyse. Reihe Informatik Vol. 36 Bibliographisches Institut 1982, ISBN 3-411-01644-2
• Hans P. Zima: Compilerbau I: Analyse, 2. Auflage. Reihe Informatik Vol. 36 Bibliographisches Institut 1988, ISBN 3-411-03218-9
• Hans P. Zima: Compilerbau II: Synthese und Optimierung. Reihe Informatik Vol. 37 Bibliographisches Institut 1983, ISBN 3-411-01671-X
  BibTeX

Handbook

• Y. N. Srikant, Priti Shankar (Eds.): The Compiler Design Handbook: Optimizations and Machine Code Generation. CRC Press 2002, ISBN 0-8493-1240-X

原文地址 http://www.informatik.uni-trier.de/~ley/db/books/compiler/index.html

                http://blog.chinaunix.net/u/29291/showart_337248.html

这一部分是我以前搜索过程中积累的资源。

CodeWorker- a parsing tool and a source code generator

DiaGen

The comp.compilers newsgroup

TCC - Tiny C Compiler

Primeval C- two very early compilers

Trimaran

SMC- The State Machine Compiler

lcc, A Retargetable Compiler for ANSI C

Let's Build a Compiler

COMPILADORES I

Compiler Connection

CompilerLinks

Catalog of Free Compilers and Interpreteers

Finite-state machine software, products, and projects

Coco-R compiler generator

Ch -- an embeddable C-C++ interpreter

Compiler Construction Tools

Code Generation Network

SandStone Technology

Using the GNU Compiler Collection (GCC)

OTCC - Obfuscated Tiny C Compiler

Compiler Back-End Research

Free Compiler Construction Tools- Lexers, Parser Generators, Optimizers

Users list for Flex

Elkhound- A GLR Parser Generator

Graphviz

Dia a drawing program

Eli- An Integrated Toolset for Compiler Construction

AutoGen- The Automated Program Generator

Modern Compiler Implementation in C

Open Watcom - Portable Compilers and Tools

TenDRA

The TenDRA Project

CTO - Virtual Machines

Virtual Virtual Machine

The LLVM Compiler Infrastructure Project

Parrot - parrotcode

re2c

Compilers Algorithms

Bumble-Bee Software - Parser Generator - YACC and Lex for Windows

The Leonardo Computing Environment

Decompilation of Binary Programs - dcc

TM, The Turing Machine Interpreter

lex and yacc

SEAM

CoCoViLa

Free Compiler Construction Tools- Lexers, Parser Generators, Optimizers (thefreecountry.com)

Ant VM

Programming Language Processors in Java

Bear Products International Home Page

Language RIGAL home page

freshmeat.net: Search results - appindex/development/compilers.html

freshmeat maintains the Web's largest index of Unix and cross-platform open source software. Thousands of applications are meticulously cataloged in the freshmeat database, and links to new code are added daily.

Southern Storm Software, Pty Ltd

 

原文地址：http://blog.chinaunix.net/u/29291/showart_314594.html

原文地址：http://blog.chinaunix.net/u/29291/showart_314594.html

Tel Aviv大学Compilation Course

BATH大学CM30171-Advanced Compilers

Cornell大学CS 412 Introduction to Compilers

Berkeley大学CS164 Programming Languages and Compilers(Fall 2004)

CSM 201 Compiler Writing Techniques

台湾国立交通大学Compiler Design

Cornell大学CS 412Introduction to Compilers and Translators

VirginiaTech大学CS4304 CompilerDesign

Stanford大学CS243 Advanced Compiling Techniques

Arizona大学CSc453 Compilers and Systems Software(Fall 2004)

CSE 5317-4305- Design and Construction of Compilers

CS544-F05: Compiler Construction

原文地址：http://blog.chinaunix.net/u/29291/showart_314593.html

Compiler Testing

1. Bailey, Mark W. and Davidson, Jack W., “Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls”, IEEE Transactions on Software Engineering, volume 29, issue 11, 2003. An abstract is available online, at http://csdl.computer.org/comp/trans/ts/2003/11/e1031abs.htm, as is an earlier version of the full paper, http://big-oh.cs.hamilton.edu/~bailey/pubs/techreps/TR-2001-1.pdf
2. Bhattacharya, Soumyabrata “ANSI C Test suites,” comp.compilers, http://compilers.iecc.com/comparch/article/94-10-060, 1994.
3. Burgess, C.J. , “Bibliography for Automatic Test Data Generation for Compilers,” comp.compilers, http://compilers.iecc.com/comparch/article/93-12-064, 1993.
4. DejaGnu http://www.gnu.org/software/dejagnu/, 1993-.
5. Delta, a tool for test failure minimization, Wilkerson, Daniel and McPeak, Scott, http://delta.tigris.org/, 2003-5. Based on [Zeller]. See also [Open Source Quality Project].
6. Fraser, Christopher and Hanson, David, A Retargetable C compiler: Design and Implementation, ISBN: 0-8053-1670-1, Benjamin/Cummings Publishing, 1995.
7. Jones, Derek “Who Guards the Guardians?” (a study of the coverage of the Perennial Validation Suite), http://www.knosof.co.uk/whoguard.html, 1993.
8. Kahan, William Sumner, Thos, et al., Paranoia Floating Point Test, http://www.netlib.org/paranoia/paranoia.c, 1983-5.
9. lcc, A Retargetable Compiler for ANSI C, http://www.cs.princeton.edu/software/lcc/; described in A Retargetable C Compiler: Design and Implementation, Hanson, David R. and Fraser, Christopher W., ISBN: 0-8053-1670-1, Benjamin/Cummings Publishing 1995.
10. Lindig, Christian, “Random Testing of the Translation of C Function Calls”, http://www.st.cs.uni-sb.de/~lindig/src/quest. Proceedings of the Sixth International Workshop on Automated Debugging, ISBN 1-59593-050-7, Association for Computing Machinery 2005.
11. Modena Test++ Suite, http://modena.us/testpp.htm.
12. Open Source Quality Project http://osq.cs.berkeley.edu/.
13. Perennial Validation Suites http://peren.com/pages/products_set.htm.
14. Plum Hall C and C++ Validation Test Suites http://plumhall.com/suites.html.
15. Sheridan, Flash, “Practical Testing of a C99 Compiler Using Output Comparison,” Software: Practice and Experience, http://dx.doi.org/10.1002/spe.812, 2007. A pre-print is available at http://pobox.com/~flash/Practical_Testing_of_C99.pdf. A list of bugs discovered using the techniques in the article is at http://pobox.com/~flash/FlashsOpenSourceBugReports.html.
16. Small Device C Compiler (SDCC), Dutta, Sandeep et al., http://sdcc.sourceforge.net/, 1999-.
17. Tydeman, Fred, C99 FPCE Test Suite, http://www.tybor.com/readme.1st, 1995-2006.
18. Zeller, A.: “Yesterday, my program worked. Today, it does not. Why?”, Software Engineering - ESEC/FSE'99: 7th European Software Engineering Conference, ISSN 0302-9743, volume 1687 of Lecture Notes in Computer Science, pp. 253-267, 1999.

Source Code Useful for Compiler Testing (Primarily C/C++)

• Blitz++ C++ Class Library for Scientific Computing, http://oonumerics.org/blitz, 1996-.
• Boost C++ Libraries, http://www.boost.org/, 1998-.
• Lischner, Ray, C++ In a Nutshell, ISBN: 0-596-00298-X, O’Reilly 2003. Source code at http://examples.oreilly.com/cplsian.
• STLport Standard Library Project http://www.stlport.org/, 1997-

Other

• Aho, Alfred V., Sethi, Ravi, and Ullman, Jeffrey D., Compilers: Principles, Techniques and Tools, ISBN: 0201100886, Addison Wesley 1986.
• Apple Bug Database https://bugreport.apple.com/, free registration required.
• Apogee Software, Inc., http://www.apogee.com/compilers.html, 1988-.
• ARM Application Binary Interface (ARM ABI), http://www.arm.com/products/DevTools/ABI.html, 2001-.
• ARM Developer Suite (ADS), version 1.2, http://www.arm.com/support/ads_faq.html, 2001-2004.
• ARMulator: ARM Emulator, GDB Version: http://sources.redhat.com/cgi-bin/cvsweb.cgi/src/sim/arm/?cvsroot=src, 1999-. See also the results of the documentation ‘info gdb Target’, subsection ‘Target Commands’, paragraph ‘target sim’, in versions of GDB with ARM emulator support. This requires building with the ‘--target=arm-none-elf’ option; see [GDB Bug 1884].
• Beizer, Boris, Software System Testing and Quality Assurance, ISBN: 0442213069, Van Nostrand 1984.
• C++98 ISO/IEC Standard, ANSI/ISO 14882:1998(E), http://www.techstreet.com/cgi-bin/detail?product_id=1143945, 1998.
• C99 ISO/IEC Standard, INCITS/ISO/IEC 9899-1999, second edition, http://webstore.ansi.org/ansidocstore/product.asp?sku=INCITS%2FISO%2FIEC+9899-1999, 1999. Commonly referred to as “ANSI C.”
• CodeSourcery GNU Toolchain for ARM Processors, http://www.codesourcery.com/gnu_toolchains/arm/, 1997-. CodeSourcery’s bug database is not accessible to the public; the mailing list for their ARM compiler is archived at http://www.codesourcery.com/archives/arm-gnu.
• CodeSourcery 2005Q3-2, Release announcement for the 2005Q3-2 version of the CodeSourcery GNU Toolchain for ARM Processors, http://www.codesourcery.com/archives/arm-gnu-announce/msg00006.html, 2005.
• Cygwin http://www.cygwin.com/, 1995-.
• Dominus, Mark Jason, Good Advice and Maxims for Programmers,” http://jwenet.net/notebook/2005/1036.html, 2002.
• Edison Design Group, Inc., http://www.edg.com/cpp.html, 1991-.
• Freely Distributable Mathematics Library (FDLIBM), Sun Microsystems, Inc., http://www.netlib.org/fdlibm/readme, 1993.
• GNU Compiler Collection (GCC) http://gcc.gnu.org/, 1987-.
• GCC Bugzilla Database: http://gcc.gnu.org/bugzilla. See also http://pobox.com/~flash/FlashsOpenSourceBugReports.html for an ongoing list of bugs found with the techniques presented here.
• GCC C-Torture Test Suite: http://gcc.gnu.org/install/test.html.
• GNU Project Debugger (GDB), http://www.gnu.org/software/gdb, 1988-.
• GDB Bugzilla Database: http://sources.redhat.com/cgi-bin/gnatsweb.pl.
• Griffith, Arthur, GCC: The Complete Reference, ISBN: 0072224053, McGraw-Hill 2002.
• Harbison, Samuel P., and Steele, Guy L., C: A Reference Manual, Fifth Edition, ISBN: 013089592X, http://www.careferencemanual.com/, Prentice Hall 2002.
• Kaner, Cem, Falk, Jack, and Nguyen, Hung Q., Testing Computer Software, Second Edition, ISBN: 0471358460, Wiley 1999.
• Kernighan, Brian W. and Ritchie, Dennis M., The C Programming Language, Second Edition, ISBN: 0131103628, Prentice Hall 1988.
• Palm OS® Developer Suite: https://www.developerpavilion.com/palmos/page.asp?page_id=365&tool_id=6, free registration required, 2004-.
• Palm OS Cobalt®, http://www.palmos.com/dev/tech/oses/cobalt60.html, 2003-.
• Perl (Practical Extraction and Report Language), Programming Perl, Third Edition, Wall, Larry et al., ISBN: 0-596-000278, O'Reilly & Associates 2000, http://www.perl.org/, 1987-.

原文地址 http://pobox.com/~flash/compiler_testing_bibliography.html

                http://blog.chinaunix.net/u/29291/showart_314590.html

Compiler Testing

1. Bailey, Mark W. and Davidson, Jack W., “Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls”, IEEE Transactions on Software Engineering, volume 29, issue 11, 2003. An abstract is available online, at http://csdl.computer.org/comp/trans/ts/2003/11/e1031abs.htm, as is an earlier version of the full paper, http://big-oh.cs.hamilton.edu/~bailey/pubs/techreps/TR-2001-1.pdf
2. Bhattacharya, Soumyabrata “ANSI C Test suites,” comp.compilers, http://compilers.iecc.com/comparch/article/94-10-060, 1994.
3. Burgess, C.J. , “Bibliography for Automatic Test Data Generation for Compilers,” comp.compilers, http://compilers.iecc.com/comparch/article/93-12-064, 1993.
4. DejaGnu http://www.gnu.org/software/dejagnu/, 1993-.
5. Delta, a tool for test failure minimization, Wilkerson, Daniel and McPeak, Scott, http://delta.tigris.org/, 2003-5. Based on [Zeller]. See also [Open Source Quality Project].
6. Fraser, Christopher and Hanson, David, A Retargetable C compiler: Design and Implementation, ISBN: 0-8053-1670-1, Benjamin/Cummings Publishing, 1995.
7. Jones, Derek “Who Guards the Guardians?” (a study of the coverage of the Perennial Validation Suite), http://www.knosof.co.uk/whoguard.html, 1993.
8. Kahan, William Sumner, Thos, et al., Paranoia Floating Point Test, http://www.netlib.org/paranoia/paranoia.c, 1983-5.
9. lcc, A Retargetable Compiler for ANSI C, http://www.cs.princeton.edu/software/lcc/; described in A Retargetable C Compiler: Design and Implementation, Hanson, David R. and Fraser, Christopher W., ISBN: 0-8053-1670-1, Benjamin/Cummings Publishing 1995.
10. Lindig, Christian, “Random Testing of the Translation of C Function Calls”, http://www.st.cs.uni-sb.de/~lindig/src/quest. Proceedings of the Sixth International Workshop on Automated Debugging, ISBN 1-59593-050-7, Association for Computing Machinery 2005.
11. Modena Test++ Suite, http://modena.us/testpp.htm.
12. Open Source Quality Project http://osq.cs.berkeley.edu/.
13. Perennial Validation Suites http://peren.com/pages/products_set.htm.
14. Plum Hall C and C++ Validation Test Suites http://plumhall.com/suites.html.
15. Sheridan, Flash, “Practical Testing of a C99 Compiler Using Output Comparison,” Software: Practice and Experience, http://dx.doi.org/10.1002/spe.812, 2007. A pre-print is available at http://pobox.com/~flash/Practical_Testing_of_C99.pdf. A list of bugs discovered using the techniques in the article is at http://pobox.com/~flash/FlashsOpenSourceBugReports.html.
16. Small Device C Compiler (SDCC), Dutta, Sandeep et al., http://sdcc.sourceforge.net/, 1999-.
17. Tydeman, Fred, C99 FPCE Test Suite, http://www.tybor.com/readme.1st, 1995-2006.
18. Zeller, A.: “Yesterday, my program worked. Today, it does not. Why?”, Software Engineering - ESEC/FSE'99: 7th European Software Engineering Conference, ISSN 0302-9743, volume 1687 of Lecture Notes in Computer Science, pp. 253-267, 1999.

Source Code Useful for Compiler Testing (Primarily C/C++)

• Blitz++ C++ Class Library for Scientific Computing, http://oonumerics.org/blitz, 1996-.
• Boost C++ Libraries, http://www.boost.org/, 1998-.
• Lischner, Ray, C++ In a Nutshell, ISBN: 0-596-00298-X, O’Reilly 2003. Source code at http://examples.oreilly.com/cplsian.
• STLport Standard Library Project http://www.stlport.org/, 1997-

Other

• Aho, Alfred V., Sethi, Ravi, and Ullman, Jeffrey D., Compilers: Principles, Techniques and Tools, ISBN: 0201100886, Addison Wesley 1986.
• Apple Bug Database https://bugreport.apple.com/, free registration required.
• Apogee Software, Inc., http://www.apogee.com/compilers.html, 1988-.
• ARM Application Binary Interface (ARM ABI), http://www.arm.com/products/DevTools/ABI.html, 2001-.
• ARM Developer Suite (ADS), version 1.2, http://www.arm.com/support/ads_faq.html, 2001-2004.
• ARMulator: ARM Emulator, GDB Version: http://sources.redhat.com/cgi-bin/cvsweb.cgi/src/sim/arm/?cvsroot=src, 1999-. See also the results of the documentation ‘info gdb Target’, subsection ‘Target Commands’, paragraph ‘target sim’, in versions of GDB with ARM emulator support. This requires building with the ‘--target=arm-none-elf’ option; see [GDB Bug 1884].
• Beizer, Boris, Software System Testing and Quality Assurance, ISBN: 0442213069, Van Nostrand 1984.
• C++98 ISO/IEC Standard, ANSI/ISO 14882:1998(E), http://www.techstreet.com/cgi-bin/detail?product_id=1143945, 1998.
• C99 ISO/IEC Standard, INCITS/ISO/IEC 9899-1999, second edition, http://webstore.ansi.org/ansidocstore/product.asp?sku=INCITS%2FISO%2FIEC+9899-1999, 1999. Commonly referred to as “ANSI C.”
• CodeSourcery GNU Toolchain for ARM Processors, http://www.codesourcery.com/gnu_toolchains/arm/, 1997-. CodeSourcery’s bug database is not accessible to the public; the mailing list for their ARM compiler is archived at http://www.codesourcery.com/archives/arm-gnu.
• CodeSourcery 2005Q3-2, Release announcement for the 2005Q3-2 version of the CodeSourcery GNU Toolchain for ARM Processors, http://www.codesourcery.com/archives/arm-gnu-announce/msg00006.html, 2005.
• Cygwin http://www.cygwin.com/, 1995-.
• Dominus, Mark Jason, Good Advice and Maxims for Programmers,” http://jwenet.net/notebook/2005/1036.html, 2002.
• Edison Design Group, Inc., http://www.edg.com/cpp.html, 1991-.
• Freely Distributable Mathematics Library (FDLIBM), Sun Microsystems, Inc., http://www.netlib.org/fdlibm/readme, 1993.
• GNU Compiler Collection (GCC) http://gcc.gnu.org/, 1987-.
• GCC Bugzilla Database: http://gcc.gnu.org/bugzilla. See also http://pobox.com/~flash/FlashsOpenSourceBugReports.html for an ongoing list of bugs found with the techniques presented here.
• GCC C-Torture Test Suite: http://gcc.gnu.org/install/test.html.
• GNU Project Debugger (GDB), http://www.gnu.org/software/gdb, 1988-.
• GDB Bugzilla Database: http://sources.redhat.com/cgi-bin/gnatsweb.pl.
• Griffith, Arthur, GCC: The Complete Reference, ISBN: 0072224053, McGraw-Hill 2002.
• Harbison, Samuel P., and Steele, Guy L., C: A Reference Manual, Fifth Edition, ISBN: 013089592X, http://www.careferencemanual.com/, Prentice Hall 2002.
• Kaner, Cem, Falk, Jack, and Nguyen, Hung Q., Testing Computer Software, Second Edition, ISBN: 0471358460, Wiley 1999.
• Kernighan, Brian W. and Ritchie, Dennis M., The C Programming Language, Second Edition, ISBN: 0131103628, Prentice Hall 1988.
• Palm OS® Developer Suite: https://www.developerpavilion.com/palmos/page.asp?page_id=365&tool_id=6, free registration required, 2004-.
• Palm OS Cobalt®, http://www.palmos.com/dev/tech/oses/cobalt60.html, 2003-.
• Perl (Practical Extraction and Report Language), Programming Perl, Third Edition, Wall, Larry et al., ISBN: 0-596-000278, O'Reilly & Associates 2000, http://www.perl.org/, 1987-.

原文地址 http://pobox.com/~flash/compiler_testing_bibliography.html

                http://blog.chinaunix.net/u/29291/showart_314590.html

Compiler Technology:

• Abstract Interpretation
  • Introduction to AI by P. Cousot (publications)
  • AI of logic programs (Universität Trier, Dirk Rüttgers)
  • Program Analysis by AI by Sjösland (links!)
  • Mycroft Alan (Cambridge Univ.) (publications)
  • Rosendahl Mads (Univ. of Roskilde) (publications)
• Catalog of Compiler Construction Tools (index)
• GCC
  • CrossGCC - Frequently Asked Questions
  • GCC home page (GNU Compiler Collection)
  • GCC Extensions - list of (experimental) extensions to GCC
  • GCC mailing lists
  • GCC Online Documentation
  • GCC Releases - History Table
  • GCC Online Compiler Submission --broken link?
  • GNU: Links and Selected Readings - GCC, Standards, Methods, ...
  • The GNU Compiler Writer's Jump Point
• Courses
  • on Compiler Design (Univ.Texas, Texas A&M Univ., FH Wiesbaden)
  • on Abstract Interpretation and Program Transformation (Göteborg Univ.)
• GNAT GNU Ada Compiler (ftp archive)
• GNATpro - Ada Core Technologies
• KEIL - Compiler/Tools for C16x and 8051
• LCC
  • lcc - A Retargetable Compiler for ANSI C
  • lccwin32 - further development of lcc
• Modula 2 Compiler (list of free available compilers)
• Tasking - Compiler/Tools for C166, 8051, M68k, MIPS, PowerPC, ...
• Term Rewriting
  • Homepage of Detlef Plump
  • Loria rewriting homepage
• The Ultra Programming Language Project (catalogue of imp.prog.lang. optimizations)
• VCG (Vizualization of Compiler Graphs)
• VPO (very portable optimizer, from Jack Davidson)

原文地址：http://blog.chinaunix.net/u/29291/showart_313373.html