ν計算・並行結合子・プログラミング言語

スポンサーリンク

概要

論文の詳細を見る
本稿では,並行算体間の相互通信を根本にすえて計算・プログラミングの概念を基礎から捉え直すという方向へ向けての,われわれのここ数年の試みの一部を概括する.もしも命令型のプログラミング・計算概念,関数型のプログラミング・計算概念が,その基盤レベルにおいて,それぞれきわめて明確な基本操作(代入・ジャンプ・関数適用等)に的に絞ることによって,体系だち・かつ有用なソフトウェア構成・実装技術を可能にしてきたとするなら,並行・分散ソフトウェア構成の基本原理も,同様に,単純な基本操作,例えば相互作用の概念を基礎に据えることで見出されることが期待できる.このような文脈の中で行なわれた研究のなかから,本稿では,基本的な形式系・言語構成子・型概念・理論的基礎をもつ実装枠組などについて簡単に紹介を行なう.
一般社団法人情報処理学会の論文
1994-03-09

著者

関連論文

もっと見る

スポンサーリンク