線型論理・π-計算による構成的プログラミング・システム
スポンサーリンク
概要
- 論文の詳細を見る
本論文では、線型論理と所-計算に基づく並列・分散プログラムのための構成的プログラミング.システムRits Concurrency Wbrkbenchについて報告する。本システムは線型論理のプルーフネットをグラフィカルな記述言語とし、作成したプルーフネットから所π-計算の項やシーヶント計算の導出木を生成する機能、およびプルーフネット、π-計算、シーヶント計算のリダクションを実行する機能を持っている。並列・分散プログラムのための購成的プログラミングの理論、方法論およびプログラミング環境については、まだ解明すべき点も多く、本システムはこの分野の研究ツールとして開発された。
- 一般社団法人情報処理学会の論文
- 1997-01-23