<?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; Analysis frameworks</title>
	<atom:link href="http://compiler-tools.org/archives/category/analysis-frameworks/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>Banshee</title>
		<link>http://compiler-tools.org/archives/2007/12/22/banshee/</link>
		<comments>http://compiler-tools.org/archives/2007/12/22/banshee/#comments</comments>
		<pubDate>Sun, 23 Dec 2007 04:20:43 +0000</pubDate>
		<dc:creator>Will Benton</dc:creator>
				<category><![CDATA[Analysis frameworks]]></category>
		<category><![CDATA[C and/or C++]]></category>

		<guid isPermaLink="false">http://compiler-tools.org/archives/2007/12/22/banshee/</guid>
		<description><![CDATA[BANSHEE is a toolkit for specifying program analyses as set or term constraint problems. From the web page: BANSHEE is a toolkit that simplfies the task of building constraint-based program analyses. Program analyses are widely used in compilers and software engineering tools for discovering or verifying specific properties of software systems, such as type safety [...]]]></description>
		<wfw:commentRss>http://compiler-tools.org/archives/2007/12/22/banshee/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>bddbddb</title>
		<link>http://compiler-tools.org/archives/2007/12/22/bddbddb/</link>
		<comments>http://compiler-tools.org/archives/2007/12/22/bddbddb/#comments</comments>
		<pubDate>Sun, 23 Dec 2007 04:18:24 +0000</pubDate>
		<dc:creator>Will Benton</dc:creator>
				<category><![CDATA[Analysis frameworks]]></category>
		<category><![CDATA[Java/JVM]]></category>

		<guid isPermaLink="false">http://compiler-tools.org/archives/2007/12/22/bddbddb/</guid>
		<description><![CDATA[bddbddb is a BDD-based implementation of Datalog; it is ideal for implementing scalable program analyses.]]></description>
		<wfw:commentRss>http://compiler-tools.org/archives/2007/12/22/bddbddb/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
