<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>A Catalog of Research Compiler Infrastructures and Tools &#187; OCaml</title>
	<atom:link href="http://compiler-tools.org/archives/category/ocaml/feed/" rel="self" type="application/rss+xml" />
	<link>http://compiler-tools.org</link>
	<description>Links to and information about research compiler infrastructures, curated by Will Benton</description>
	<lastBuildDate>Wed, 12 Mar 2008 16:42:02 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0.1</generator>
		<item>
		<title>Elkhound: A GLR Parser Generator</title>
		<link>http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/</link>
		<comments>http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/#comments</comments>
		<pubDate>Sat, 24 Apr 2004 03:44:46 +0000</pubDate>
		<dc:creator>Will Benton</dc:creator>
				<category><![CDATA[C and/or C++]]></category>
		<category><![CDATA[OCaml]]></category>
		<category><![CDATA[Tools:  lexer, parser, etc. generators]]></category>

		<guid isPermaLink="false">http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/</guid>
		<description><![CDATA[Thanks to David Wagner for a pointer to Elkhound, which is a GLR (Generalized LR) parser generator. It can generate parsers in C++ and OCaml, and includes Elsa, a grammar for C++.]]></description>
		<wfw:commentRss>http://compiler-tools.org/archives/2004/04/23/elkhound-a-glr-parser-generator/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>CIL &#8212; Infrastructure for C Program Analysis and Transformation</title>
		<link>http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/</link>
		<comments>http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/#comments</comments>
		<pubDate>Thu, 01 Apr 2004 22:16:40 +0000</pubDate>
		<dc:creator>Will Benton</dc:creator>
				<category><![CDATA[C and/or C++]]></category>
		<category><![CDATA[OCaml]]></category>

		<guid isPermaLink="false">http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/</guid>
		<description><![CDATA[CIL is a tool and library that inputs C source code and outputs simplified C that is more amenable to program analysis. It can generate CFGs and can perform several analyses and transformations out of the box. See here for more details; some notables follow: points-to analysis various buffer-overrun protection transformations transform all subprograms to [...]]]></description>
		<wfw:commentRss>http://compiler-tools.org/archives/2004/04/01/cil-infrastructure-for-c-program-analysis-and-transformation/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>FrontC &#8212; C front-end for OCaml</title>
		<link>http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/</link>
		<comments>http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/#comments</comments>
		<pubDate>Thu, 01 Apr 2004 22:03:26 +0000</pubDate>
		<dc:creator>Will Benton</dc:creator>
				<category><![CDATA[C and/or C++]]></category>
		<category><![CDATA[OCaml]]></category>

		<guid isPermaLink="false">http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/</guid>
		<description><![CDATA[FrontC is a C front-end written in OCaml. From the web page: FrontC is an OCAML library providing a C parser and lexer. The result is a syntactic tree easy to process with usual OCAML tree management. It provides support for ANSI C syntax, old-C K&#38;R style syntax and the standard GNU CC attributes. It [...]]]></description>
		<wfw:commentRss>http://compiler-tools.org/archives/2004/04/01/frontc-c-front-end-for-ocaml/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>OCamlBurg</title>
		<link>http://compiler-tools.org/archives/2004/04/01/ocamlburg/</link>
		<comments>http://compiler-tools.org/archives/2004/04/01/ocamlburg/#comments</comments>
		<pubDate>Thu, 01 Apr 2004 15:52:09 +0000</pubDate>
		<dc:creator>Will Benton</dc:creator>
				<category><![CDATA[OCaml]]></category>
		<category><![CDATA[Tools:  code-generator generators]]></category>

		<guid isPermaLink="false">http://compiler-tools.org/archives/2004/04/01/ocamlburg/</guid>
		<description><![CDATA[From Christian Lindig and the C&#8211;&#8211; group comes OCamlBurg, which is an implementation of a Burg-like code-generator-generator that produces OCaml code.]]></description>
		<wfw:commentRss>http://compiler-tools.org/archives/2004/04/01/ocamlburg/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>C&#8211;&#8211;, portable assembly language</title>
		<link>http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/</link>
		<comments>http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/#comments</comments>
		<pubDate>Thu, 01 Apr 2004 14:12:59 +0000</pubDate>
		<dc:creator>Will Benton</dc:creator>
				<category><![CDATA[Alpha]]></category>
		<category><![CDATA[Back-ends and portable IRs]]></category>
		<category><![CDATA[IA-64]]></category>
		<category><![CDATA[MIPS]]></category>
		<category><![CDATA[OCaml]]></category>
		<category><![CDATA[PPC]]></category>
		<category><![CDATA[StrongARM]]></category>
		<category><![CDATA[x86]]></category>

		<guid isPermaLink="false">http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/</guid>
		<description><![CDATA[C&#8211;&#8211; is a &#8220;portable assembly language&#8221; &#8212; a target language for compiler backends that can compile into native code on several platforms. It is implemented in OCaml and appears sufficiently general to handle a wide range of language features: for example, all values are untyped strings of bits, multiple return values are possible, and tail [...]]]></description>
		<wfw:commentRss>http://compiler-tools.org/archives/2004/04/01/c-portable-assembly-language/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
