コンピュータ ソフトウェア
Print ISSN : 0289-6540
ソフトウェア発展特集
線形論理型言語の効率的なリソース管理モデル
姜 京順番原 睦則田村 直之
著者情報
ジャーナル フリー

18-0 巻 (2000) p. 138-154

詳細
PDFをダウンロード (831K) 発行機関連絡先
抄録

1987年にJ.-Y. Girardが発表した線形論理は,計算機科学への応用が期待されている新しい論理体系である。線形論理の論理型言語への応用は,特に活発な分野の一つであり,LO,ACL,Lolli,Lygon,Forum,およびLLP等の研究がある。これらのほとんどの言語では,リソース概念はプログラミング上で重要な位置を占めている。したがって,リソースを効率的良く取り扱う計算モデルの構築は重要な研究課題となっている。本論文で述べるレベル付きIOモデルは,効率的なリソース管理を目的とした計算モデルであり,実行中はただ一つのリソース表を保持すれば良いように工夫されている。本モデルは,LLPコンパイラ処理系で採用され,その有効性が示されている。

著者関連情報
© 日本ソフトウェア科学会 2000
前の記事

閲覧履歴
feedback
Top