http://compiler-tools.org Links to and information about research compiler infrastructures, curated by Will Benton Wed, 12 Mar 2008 16:42:02 +0000 http://wordpress.org/?v=2.6.2 en http://compiler-tools.org/archives/2008/03/12/main-page-walawiki/ http://compiler-tools.org/archives/2008/03/12/main-page-walawiki/#comments Wed, 12 Mar 2008 16:41:39 +0000 Will Benton http://compiler-tools.org/archives/2008/03/12/main-page-walawiki/ http://compiler-tools.org/archives/2008/03/12/main-page-walawiki/feed/ http://compiler-tools.org/archives/2008/03/12/jastadd-%e2%80%94-jastadd/ http://compiler-tools.org/archives/2008/03/12/jastadd-%e2%80%94-jastadd/#comments Wed, 12 Mar 2008 16:21:53 +0000 Will Benton http://compiler-tools.org/archives/2008/03/12/jastadd-%e2%80%94-jastadd/ http://compiler-tools.org/archives/2008/03/12/jastadd-%e2%80%94-jastadd/feed/ http://compiler-tools.org/archives/2008/01/07/popl-coq-tutorial/ http://compiler-tools.org/archives/2008/01/07/popl-coq-tutorial/#comments Mon, 07 Jan 2008 22:53:49 +0000 Will Benton http://compiler-tools.org/archives/2008/01/07/popl-coq-tutorial/ http://compiler-tools.org/archives/2008/01/07/popl-coq-tutorial/feed/ http://compiler-tools.org/archives/2007/12/23/plt-redex/ http://compiler-tools.org/archives/2007/12/23/plt-redex/#comments Sun, 23 Dec 2007 18:35:45 +0000 Will Benton http://compiler-tools.org/archives/2007/12/23/plt-redex/ http://compiler-tools.org/archives/2007/12/23/plt-redex/feed/ http://compiler-tools.org/archives/2007/12/23/ott/ http://compiler-tools.org/archives/2007/12/23/ott/#comments Sun, 23 Dec 2007 18:33:06 +0000 Will Benton http://compiler-tools.org/archives/2007/12/23/ott/ http://compiler-tools.org/archives/2007/12/23/ott/feed/ http://compiler-tools.org/archives/2007/12/22/twelf/ http://compiler-tools.org/archives/2007/12/22/twelf/#comments Sun, 23 Dec 2007 04:28:00 +0000 Will Benton http://compiler-tools.org/archives/2007/12/22/twelf/ http://compiler-tools.org/archives/2007/12/22/twelf/feed/ http://compiler-tools.org/archives/2007/12/22/banshee/ http://compiler-tools.org/archives/2007/12/22/banshee/#comments Sun, 23 Dec 2007 04:20:43 +0000 Will Benton http://compiler-tools.org/archives/2007/12/22/banshee/ http://compiler-tools.org/archives/2007/12/22/banshee/feed/ http://compiler-tools.org/archives/2007/12/22/bddbddb/ http://compiler-tools.org/archives/2007/12/22/bddbddb/#comments Sun, 23 Dec 2007 04:18:24 +0000 Will Benton http://compiler-tools.org/archives/2007/12/22/bddbddb/ http://compiler-tools.org/archives/2007/12/22/bddbddb/feed/ http://compiler-tools.org/archives/2007/12/22/pin/ http://compiler-tools.org/archives/2007/12/22/pin/#comments Sun, 23 Dec 2007 00:07:51 +0000 Will Benton http://compiler-tools.org/archives/2007/12/22/pin/ http://compiler-tools.org/archives/2007/12/22/pin/feed/ http://compiler-tools.org/archives/2005/03/29/avs-c-parser/ http://compiler-tools.org/archives/2005/03/29/avs-c-parser/#comments Tue, 29 Mar 2005 15:25:48 +0000 Will Benton http://compiler-tools.org/archives/2005/03/29/avs-c-parser/feed/ http://compiler-tools.org/archives/2004/10/27/site-updates/ http://compiler-tools.org/archives/2004/10/27/site-updates/#comments Wed, 27 Oct 2004 17:36:29 +0000 Will Benton http://compiler-tools.org/archives/2004/10/27/site-updates/ http://compiler-tools.org/archives/2004/10/27/site-updates/feed/ http://compiler-tools.org/archives/2004/10/27/pearcolator/ http://compiler-tools.org/archives/2004/10/27/pearcolator/#comments Wed, 27 Oct 2004 17:24:35 +0000 Will Benton http://compiler-tools.org/archives/2004/10/27/pearcolator/ http://compiler-tools.org/archives/2004/10/27/pearcolator/feed/ http://compiler-tools.org/archives/2004/10/05/codesurfer/ http://compiler-tools.org/archives/2004/10/05/codesurfer/#comments Wed, 06 Oct 2004 03:07:04 +0000 Will Benton http://compiler-tools.org/archives/2004/10/05/codesurfer/ http://compiler-tools.org/archives/2004/10/05/codesurfer/feed/ http://compiler-tools.org/archives/2004/08/25/latte-a-fast-and-efficient-java-vm-just-in-time-compiler/ http://compiler-tools.org/archives/2004/08/25/latte-a-fast-and-efficient-java-vm-just-in-time-compiler/#comments Wed, 25 Aug 2004 21:52:59 +0000 Will Benton http://compiler-tools.org/archives/2004/08/25/latte-a-fast-and-efficient-java-vm-just-in-time-compiler/ http://compiler-tools.org/archives/2004/08/25/latte-a-fast-and-efficient-java-vm-just-in-time-compiler/feed/ http://compiler-tools.org/archives/2004/06/17/icd-c-compiler-framework/ http://compiler-tools.org/archives/2004/06/17/icd-c-compiler-framework/#comments Thu, 17 Jun 2004 20:27:08 +0000 Will Benton http://compiler-tools.org/archives/2004/06/17/icd-c-compiler-framework/ http://compiler-tools.org/archives/2004/06/17/icd-c-compiler-framework/feed/ http://compiler-tools.org/archives/2004/06/02/java-intermediate-language/ http://compiler-tools.org/archives/2004/06/02/java-intermediate-language/#comments Wed, 02 Jun 2004 19:47:02 +0000 Will Benton http://compiler-tools.org/archives/2004/06/02/java-intermediate-language/ http://compiler-tools.org/archives/2004/06/02/java-intermediate-language/feed/ http://compiler-tools.org/archives/2004/05/06/ace-cosy/ http://compiler-tools.org/archives/2004/05/06/ace-cosy/#comments Thu, 06 May 2004 23:03:54 +0000 Will Benton http://compiler-tools.org/archives/2004/05/06/ace-cosy/ http://compiler-tools.org/archives/2004/05/06/ace-cosy/feed/ http://compiler-tools.org/archives/2004/05/06/polyglot-extensible-compiler-framework/ http://compiler-tools.org/archives/2004/05/06/polyglot-extensible-compiler-framework/#comments Thu, 06 May 2004 22:55:57 +0000 Will Benton http://compiler-tools.org/archives/2004/05/06/polyglot-extensible-compiler-framework/ http://compiler-tools.org/archives/2004/05/06/polyglot-extensible-compiler-framework/feed/ http://compiler-tools.org/archives/2004/04/23/free-pascal-home-page/ http://compiler-tools.org/archives/2004/04/23/free-pascal-home-page/#comments Sat, 24 Apr 2004 03:52:21 +0000 Will Benton http://compiler-tools.org/archives/2004/04/23/free-pascal-home-page/ http://compiler-tools.org/archives/2004/04/23/free-pascal-home-page/feed/ http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/ http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/#comments Sat, 24 Apr 2004 03:44:46 +0000 Will Benton http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/ http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/feed/ http://compiler-tools.org/archives/2004/04/18/dms-software-reengineering-toolkit/ http://compiler-tools.org/archives/2004/04/18/dms-software-reengineering-toolkit/#comments Mon, 19 Apr 2004 02:31:49 +0000 Will Benton http://compiler-tools.org/archives/2004/04/18/dms-software-reengineering-toolkit/ http://compiler-tools.org/archives/2004/04/18/dms-software-reengineering-toolkit/feed/ http://compiler-tools.org/archives/2004/04/15/compiler-generator-cocor/ http://compiler-tools.org/archives/2004/04/15/compiler-generator-cocor/#comments Fri, 16 Apr 2004 03:20:25 +0000 Will Benton http://compiler-tools.org/archives/2004/04/15/compiler-generator-cocor/ http://compiler-tools.org/archives/2004/04/15/compiler-generator-cocor/feed/ http://compiler-tools.org/archives/2004/04/15/iburg-a-tree-parser-generator/ http://compiler-tools.org/archives/2004/04/15/iburg-a-tree-parser-generator/#comments Thu, 15 Apr 2004 18:47:13 +0000 Will Benton http://compiler-tools.org/archives/2004/04/15/iburg-a-tree-parser-generator/ http://compiler-tools.org/archives/2004/04/15/iburg-a-tree-parser-generator/feed/ http://compiler-tools.org/archives/2004/04/15/sablevm/ http://compiler-tools.org/archives/2004/04/15/sablevm/#comments Thu, 15 Apr 2004 18:43:54 +0000 Will Benton http://compiler-tools.org/archives/2004/04/15/sablevm/ http://compiler-tools.org/archives/2004/04/15/sablevm/feed/ http://compiler-tools.org/archives/2004/04/15/sablecc-parser-generator/ http://compiler-tools.org/archives/2004/04/15/sablecc-parser-generator/#comments Thu, 15 Apr 2004 18:34:22 +0000 Will Benton http://compiler-tools.org/archives/2004/04/15/sablecc-parser-generator/ http://compiler-tools.org/archives/2004/04/15/sablecc-parser-generator/feed/ http://compiler-tools.org/archives/2004/04/09/spark-a-little-language-framework-for-python/ http://compiler-tools.org/archives/2004/04/09/spark-a-little-language-framework-for-python/#comments Fri, 09 Apr 2004 19:34:07 +0000 Will Benton http://compiler-tools.org/archives/2004/04/09/spark-a-little-language-framework-for-python/ http://compiler-tools.org/archives/2004/04/09/spark-a-little-language-framework-for-python/feed/ http://compiler-tools.org/archives/2004/04/09/treecc/ http://compiler-tools.org/archives/2004/04/09/treecc/#comments Fri, 09 Apr 2004 19:17:55 +0000 Will Benton http://compiler-tools.org/archives/2004/04/09/treecc/ http://compiler-tools.org/archives/2004/04/09/treecc/feed/ http://compiler-tools.org/archives/2004/04/09/edg-c-java-and-fortran-front-ends/ http://compiler-tools.org/archives/2004/04/09/edg-c-java-and-fortran-front-ends/#comments Fri, 09 Apr 2004 19:09:19 +0000 Will Benton http://compiler-tools.org/archives/2004/04/09/edg-c-java-and-fortran-front-ends/ http://compiler-tools.org/archives/2004/04/09/edg-c-java-and-fortran-front-ends/feed/ http://compiler-tools.org/archives/2004/04/09/erco-java-compiler/ http://compiler-tools.org/archives/2004/04/09/erco-java-compiler/#comments Fri, 09 Apr 2004 19:01:04 +0000 Will Benton http://compiler-tools.org/archives/2004/04/09/erco-java-compiler/ http://compiler-tools.org/archives/2004/04/09/erco-java-compiler/feed/ http://compiler-tools.org/archives/2004/04/09/machine-suif/ http://compiler-tools.org/archives/2004/04/09/machine-suif/#comments Fri, 09 Apr 2004 18:47:55 +0000 Will Benton http://compiler-tools.org/archives/2004/04/09/machine-suif/ http://compiler-tools.org/archives/2004/04/09/machine-suif/feed/ http://compiler-tools.org/archives/2004/04/09/suif/ http://compiler-tools.org/archives/2004/04/09/suif/#comments Fri, 09 Apr 2004 18:39:26 +0000 Will Benton http://compiler-tools.org/archives/2004/04/09/suif/ http://compiler-tools.org/archives/2004/04/09/suif/feed/ http://compiler-tools.org/archives/2004/04/06/nemerle-a-hybrid-language-for-net-clr/ http://compiler-tools.org/archives/2004/04/06/nemerle-a-hybrid-language-for-net-clr/#comments Tue, 06 Apr 2004 21:23:01 +0000 Will Benton http://compiler-tools.org/archives/2004/04/06/nemerle-a-hybrid-language-for-net-clr/ http://compiler-tools.org/archives/2004/04/06/nemerle-a-hybrid-language-for-net-clr/feed/ http://compiler-tools.org/archives/2004/04/01/antlr-parser-generator-and-translator-generator-home-page/ http://compiler-tools.org/archives/2004/04/01/antlr-parser-generator-and-translator-generator-home-page/#comments Thu, 01 Apr 2004 23:05:22 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/antlr-parser-generator-and-translator-generator-home-page/ http://compiler-tools.org/archives/2004/04/01/antlr-parser-generator-and-translator-generator-home-page/feed/ http://compiler-tools.org/archives/2004/04/01/jakarta-bcel/ http://compiler-tools.org/archives/2004/04/01/jakarta-bcel/#comments Thu, 01 Apr 2004 22:59:41 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/jakarta-bcel/ http://compiler-tools.org/archives/2004/04/01/jakarta-bcel/feed/ http://compiler-tools.org/archives/2004/04/01/the-alto-project-home-page-link-time-code-optimization/ http://compiler-tools.org/archives/2004/04/01/the-alto-project-home-page-link-time-code-optimization/#comments Thu, 01 Apr 2004 22:50:13 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/the-alto-project-home-page-link-time-code-optimization/ http://compiler-tools.org/archives/2004/04/01/the-alto-project-home-page-link-time-code-optimization/feed/ http://compiler-tools.org/archives/2004/04/01/warts-the-wisconsin-architectural-research-tool-set/ http://compiler-tools.org/archives/2004/04/01/warts-the-wisconsin-architectural-research-tool-set/#comments Thu, 01 Apr 2004 22:33:42 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/warts-the-wisconsin-architectural-research-tool-set/ http://compiler-tools.org/archives/2004/04/01/warts-the-wisconsin-architectural-research-tool-set/feed/ http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/ http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/#comments Thu, 01 Apr 2004 22:16:40 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/ http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/feed/ http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/ http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/#comments Thu, 01 Apr 2004 22:03:26 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/ http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/feed/ http://compiler-tools.org/archives/2004/04/01/ckit-tool-for-source-to-source-translations-of-c-code/ http://compiler-tools.org/archives/2004/04/01/ckit-tool-for-source-to-source-translations-of-c-code/#comments Thu, 01 Apr 2004 21:53:17 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/ckit-tool-for-source-to-source-translations-of-c-code/ http://compiler-tools.org/archives/2004/04/01/ckit-tool-for-source-to-source-translations-of-c-code/feed/ http://compiler-tools.org/archives/2004/04/01/some-documents-on-using-gcc-as-a-backend/ http://compiler-tools.org/archives/2004/04/01/some-documents-on-using-gcc-as-a-backend/#comments Thu, 01 Apr 2004 17:43:20 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/some-documents-on-using-gcc-as-a-backend/ http://compiler-tools.org/archives/2004/04/01/some-documents-on-using-gcc-as-a-backend/feed/ http://compiler-tools.org/archives/2004/04/01/the-gnu-compiler-collection/ http://compiler-tools.org/archives/2004/04/01/the-gnu-compiler-collection/#comments Thu, 01 Apr 2004 17:26:30 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/the-gnu-compiler-collection/ http://compiler-tools.org/archives/2004/04/01/the-gnu-compiler-collection/feed/ http://compiler-tools.org/archives/2004/04/01/ocamlburg/ http://compiler-tools.org/archives/2004/04/01/ocamlburg/#comments Thu, 01 Apr 2004 15:52:09 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/ocamlburg/ http://compiler-tools.org/archives/2004/04/01/ocamlburg/feed/ http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/ http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/#comments Thu, 01 Apr 2004 14:12:59 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/ http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/feed/ http://compiler-tools.org/archives/2004/04/01/daisy-architecture-emulation-thru-dynamic-compilation/ http://compiler-tools.org/archives/2004/04/01/daisy-architecture-emulation-thru-dynamic-compilation/#comments Thu, 01 Apr 2004 14:03:28 +0000 Will Benton http://compiler-tools.org/archives/2004/04/01/daisy-architecture-emulation-thru-dynamic-compilation/ http://compiler-tools.org/archives/2004/04/01/daisy-architecture-emulation-thru-dynamic-compilation/feed/ http://compiler-tools.org/archives/2004/03/31/mlrisc/ http://compiler-tools.org/archives/2004/03/31/mlrisc/#comments Thu, 01 Apr 2004 03:37:04 +0000 Will Benton http://compiler-tools.org/archives/2004/03/31/mlrisc/ http://compiler-tools.org/archives/2004/03/31/mlrisc/feed/ http://compiler-tools.org/archives/2004/03/31/scale/ http://compiler-tools.org/archives/2004/03/31/scale/#comments Wed, 31 Mar 2004 14:57:02 +0000 Will Benton http://compiler-tools.org/archives/2004/03/31/scale/ http://compiler-tools.org/archives/2004/03/31/scale/feed/ http://compiler-tools.org/archives/2004/03/31/vmgen-interpreter-generator/ http://compiler-tools.org/archives/2004/03/31/vmgen-interpreter-generator/#comments Wed, 31 Mar 2004 14:43:07 +0000 Will Benton http://compiler-tools.org/archives/2004/03/31/vmgen-interpreter-generator/ http://compiler-tools.org/archives/2004/03/31/vmgen-interpreter-generator/feed/ http://compiler-tools.org/archives/2004/03/31/open64-and-derivatives/ http://compiler-tools.org/archives/2004/03/31/open64-and-derivatives/#comments Wed, 31 Mar 2004 14:36:33 +0000 Will Benton http://compiler-tools.org/archives/2004/03/31/open64-and-derivatives/ http://compiler-tools.org/archives/2004/03/31/open64-and-derivatives/feed/ http://compiler-tools.org/archives/2004/03/31/open-runtime-platform/ http://compiler-tools.org/archives/2004/03/31/open-runtime-platform/#comments Wed, 31 Mar 2004 14:09:05 +0000 Will Benton http://compiler-tools.org/archives/2004/03/31/open-runtime-platform/ http://compiler-tools.org/archives/2004/03/31/open-runtime-platform/feed/ http://compiler-tools.org/archives/2004/03/31/zephyr-compiler-infrastructure/ http://compiler-tools.org/archives/2004/03/31/zephyr-compiler-infrastructure/#comments Wed, 31 Mar 2004 07:41:20 +0000 Will Benton http://compiler-tools.org/archives/2004/03/31/zephyr-compiler-infrastructure/ http://compiler-tools.org/archives/2004/03/31/zephyr-compiler-infrastructure/feed/