線形論理型言語のJava言語による処理系の設計と実装

概要

論文の詳細を見る
フランスの論理学者J.-Y.Girardによって線形論理(linear logic)が発表されて以来,プログラミング言語への応用が盛んに研究されている.線形論理に基づく論理型言語については,すでにいくつかが提案されている:Lolli, Lygon, LO, LinLog, Forum, HACL.しかし,Java上の処理系が実現されたものはまだ存在していない. これらの言語では,動的に生成,消費される「リソース」を論理式のレベルで表現できる.そのため効率のよいリソース処理は実装上最も重要な問題の1つである.Lolli, Lygon, Forumについては,インタプリタ処理系が開発されている (LolliはSML及びλProlog上,LygonはProlpg上,ForumはSML,Prolog及びλProlog上).これらの処理系では,リソースは木構造として表現されているため,リソースを消費した場合に木構造の再構築が必要となり,効率低下の原因となっている. 本稿では,線形論理型言語LLPの概要と,LLPからJavaへのトランスレート方式について述べる.LLP言語はPrologのスーパーセットで,Lolliのサブセットになっている.リソースはコンパイルコードと自由変数の束縛情報から構成されるクロージャ(closure)にコンパイルされ,ただ1つのリソース表により管理される.リソースの呼び出しは通常のプログラム呼び出しに統合される. Nクイーン配置問題を解くLLPプログラムの実行速度は,標準的なPrologベンチマークに含まれるNクイーンプログラムをMINERVAでコンパイルしたものより,N=12で約1,5倍速い.また,Prologベンチマークの実行速度は,既存のトランスレータjPrologと比較して,平均で3倍強の高速化を実現している.
一般社団法人情報処理学会の論文
1999-12-15

線形論理型言語のJava言語による処理系の設計と実装

スポンサーリンク

概要

著者

関連論文

スポンサーリンク