ソフトウェア基礎研究における思い出(2) : ソフトウェア基礎研究に関する国際活動(<特集>新しいソフトウェアの実現,サイバー増大号)
スポンサーリンク
概要
- 論文の詳細を見る
There have been a number of challenging topics in concurrency theory since the notion of concurrency was created in theoretical studies of concurrent processes in operating systems and parallel computations. Current flourishing theoretical studies on concurrency are based on two distinct approaches: ●One is based on message-passing models that stem from Hoare's CSP and Mimer's CCS and pi-calculus. ●Another is based on logical approaches that are notably represented by temporal logic descriptions initiated by Burstall and Pnueli and linear logic descriptions invented by Girard. Both approaches have been developed in the framework of Plotkin's style of describing operational semantics called SOS (Structured Operational Semantics) inspired by the Gentzen's Sequent Calculus. Besides these approaches there are a number of studies on concurrency like Petri nets, automata-theoretic approaches, language-theoretic approaches (like shuffle and/or concurrency expressions). Also, from the standpoint of parallel algorithms and complexity theory a number of models have been proposed. Current theoretical studies on concurrency have been based on the use of message-passing models and logical approaches, and they have had considerable influences of the latest technological progresses like "internet and web computing", "security issues", "cluster computing and massively parallel computing", "bio-computing and molecular computing". Below we describe a number of challenging topics in concurrency theory. [1] Establishing theoretical foundations of provably correct and reliable operating systems {This has been a great and challenging theme in concurrency theory since 1960s, but almost no one has ever achieved this aim in a satisfactory way because of its difflculty.} [2] Establishing logical frameworks of concurrency with mechanisms for recovery from deadlock and starvation, and for detecting malfunction in concurrent systems [3] Bridging concurrency theory and parallel computation so as to establish a sound and efficient parallel computing framework from both of semantical and algorithmic standpoints These three have been challenging yet fundamental issues in concurrency theory since early 1970s. Reflecting the latest developments in computers and networks there have been a number of challenging themes, some of which are subsidiary topics of the above three major themes. [a] Process calculi that guarantee "safety and security" and "trustiness" of processes and their actions [b] Process calculi with ability of expressing mobility, temporality, resource sensitiveness, cost-sensitiveness, and locality [c] Process calculi with trustiness of information as theoretical bases of mobile processes in global networks [d] Theoretical foundations of verifying compilers for concurrent and distributed languages [e] Theoretical foundations of efficient concurrent and parallel computing for irregular and mixed data/information structures [f] Theories of powerful parallel control mechanisms and structures and their applications in hardware design and parallel language design [g] Design and implementation of theory-based languages and systems and theory-based tools for design and implementation [h] Emerging applications in 1. Industrial applications 2. Socio-Economic applications 3. Biological applications
- 日本ソフトウェア科学会の論文
- 2006-04-26
著者
関連論文
- ソフトウェア科学会第3回大会
- 「WCC98に参加して/IFIP TC : この1年」
- ISLisp(Lisp言語のISO標準化案)とその動向
- 同期制御された正規表現の記述能力
- 同期機構を持つ並行プロセスの記述能力について--フロ-表現の拡張とその記述能力
- Schemeプログラムの自動並列化とスティール評価法による実行
- call/ccを用いた繰返し的SchemeプログラムとCPS変換
- 並列オブジェクト指向言語PaiObjectのインタプリタとその評価
- スティール評価法のための仮想並列マシンの設計と実現
- スティール評価法のためのSSTマシンによる並列Schemeコンパイラの実現
- ファジィ制約を備えた知識表現システムとそのISHSPによる実現
- 画像解析における戦略の表現
- スティール評価法を備えたPaiLispシステムの実現とその評価
- スティール評価法を備えたPaiLispシステムの実現とその評価
- スティール評価法を備えたPaiLispシステムの実現と評価
- マルチスレッドPaiLispの実行方式
- マルチスレッドを用いたPaiLispインタプリタの実現と評価
- PaiLispを用いたペトリネットの解析と実行
- CCSプロセスのネット表現
- ペトリネットのための代数的操作システムとその応用
- 場所の概念を備えたJava言語とその処理系
- ISLISP処理系TISLにおけるネイティブインタフェースの設計および実装
- ISLISP処理系TISLのためのパッケージシステム
- ISO標準Lisp言語ISLISPのインタプリタおよびコンパイラ
- 国際標準LISP言語ISLISPのインタプリタおよびコンパイラ
- PaiLispプログラミングのための視覚的ツールの試み(一般発表)
- LISP言語国際標準化と日本の貢献
- Timed-GCを備えた実時間型Schemeシステム
- Timed-GCを備えたScheme処理系と評価
- ソフトウェア基礎研究における思い出(2) : ソフトウェア基礎研究に関する国際活動(新しいソフトウェアの実現,サイバー増大号)
- ソルトウェア基礎研究における思い出(1) : プログラム理論の創世期の思い出
- TC1(Foundations of Computer Science) : コンピュータサイエンスの基礎
- 並列Lispインタプリタにおける並列処理方式の設計
- 並列言語PaiLispのデバッガの試作とその評価
- PaiLispとPaiObjectの処理系
- PaiLispのための並列オブジェクト指向言語PaiObject
- 推論型データベース検索支援システムの試み
- アクションセマンティクスによるSchemeの意味記述
- PaiLispを用いた方程式求解システムの試作
- PaiLisp の並列構文の実現法と評価
- PaiLispによる並列処理の実現と評価
- PaiLispにおける並列構文の実現法とその評価
- 東北大学工学部情報工学科伊藤研究室
- ソフトウェアの基礎研究への期待
- 推論ソフトウェアの構成-2完-
- 推論ソフトウェアの構成
- 対話型Lispプログラム検証システムの試作
- プログラム理論とその応用(3)
- プログラム理論とその応用(1)
- プログラミング言語の意味論 : 入門的解説
- プログラムの自動作成