ckit

ckitがSMLのデータ型の集合として表さ抽象構文に（前処理後）は、Cのソースコードを変換することSMLで書かれたCのフロントエンドです。また、「C様」ドメイン固有言語と同様に、Cの方言を実装するのに有用であり得る追加の構文要素でC言語を拡張するための機能を提供します。 ckitが現在のCコードの静的解析および少なくとも1つのドメイン固有言語のためのさまざまなツールのフロントエンドとして使用されています。
インストール：
CKITがCKITコードを含むディレクトリとします。
ディレクトリ$ CKIT / ASTでSMLを実行します。
「CM.make（）;」を実行します。これは、あなたのパーサー/エラボを提供します。
CKITのソースを展開では、（ディストリビューションに応じて、場合によっては他のディレクトリ）srcディレクトリ、docディレクトリおよびREADMEファイルを参照してくださいする必要があります。
srcディレクトリには、次のサブディレクトリが含まれています。
パーサ/
    レクサーとパーサ、解析木。
AST /
    抽象構文木（AST）、型チェッカ、プリティプリンタ。
変異体/
    パーサーと型チェック機能を制御するためのフラグ。
システムを構築するには、SRCにCDは、SML / NJとタイプを実行します
- CM.make（）。
、タイプ「test.cの」のパーサーをテストするには
- ParseToAst.fileToAst "test.cの";
これは、解析しtypechecks「test.cの "と" test.cの「抽象構文木を返します。あるいは、型チェックした後、プリティプリント "test.cの」、解析する、タイプ
- ParseToAst.fileToC "test.cの";
このリリースの新機能：