並列記号処理ソフトウェアのプログラミング技術

並列論理型言語による大規模並列システム向きのプログラミング技法・ソフト ウェア構成技法を開発、オペレーティング・システムや応用プログラムの構築 において実践した。