関数型言語によるプログラム解析

OCamlやHaskellを用いて、C言語やJavaなどのプログラムを解析・変換する方法について説明します。

トピック

  • Haskell と Language.C によるプログラム変換 (参考リンク1, 2)
  • OCamlとCILによる C言語の構文解析
  • C言語プログラムのコンコリック実行による自動テスト実行 (参考:SWEST12ポスターPDF)
(近日公開予定)