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