並列オブジェクト指向言語への安全な継承の導入について
スポンサーリンク
概要
- 論文の詳細を見る
並列オブジェクト指向言語では,同期制約の記述を継承することの困難が指摘されて以来,さまざまな言語で同期制約の記述の工夫が図られてきた.その多くのものは,同期制約を受理可能なメッセージの集合で表すものであったが,本稿はその方法の問題点を指摘し,それに対する解決として同期制約の論理式による表現法を挙げる.さらに,このように表現されたプログラムをプログラム変換を用いて実現することを提案する.
- 一般社団法人情報処理学会の論文
- 1990-09-04
著者
関連論文
- 彩色意図にもとづく色覚障害者のための再配色システム(セッション2:インタラクションデザイン:理論と実践(2))
- 属性文法に基づくテストプログラム生成器の設計と実装
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- ネットワーク数値情報ライブラリ : Ninfを用いた数値計算環境システムの開発 : NinfCalcの試作
- 階層的コレクションに基づくオブジェクト指向分散ライブラリについて
- ネットワーク数値情報ライブラリNinfの通信方法の予備的考察
- 並列オブジェクト指向言語のマルチコンピュータ上における効率的な実装法
- 並列オブジェクト指向言語におけるSynchronization Constraintsと継承について
- Mu1tilispの操作的意味及び実現
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- D-041 大規模社会ネットワークからのクラスタ構造の抽出(D分野:データベース)
- システムXEROにおける高水準データ定義/操作言語
- 一級継続の並行言語への導入
- Java言語上の細粒度マルチスレッドフレームワークにおける問題点の考察
- メモリ管理の性能評価基盤
- 属性文法の系統的デバッグ法におけるバグ絞り込みの効率化(プログラミングおよびプログラミング言語)
- アセンブリ言語上でのプログラム特化
- 対話型グラフィックスの形式的取扱いについて
- 10-217 東京工業大学におけるOCWの活用(口頭発表論文,オーガナイズドセッション「オープンコースウエアとその活用」-I)
- O-011 大規模スパムフィルタと実験環境の構築手法の提案(O分野:情報システム)
- 自己反映並列オブジェクト指向言語ABCL/R2の設計と実現 (自己反映計算(リフレクション))
- IMSA'92国際リフレクションワークショップ
- 並列オブジェクト指向言語への安全な継承の導入について
- OOPSLA '89に参加して
- POPL2002/PEPM2002/PADL2002報告(プログラミング及びプログラミング言語)
- 属性文法に基づくグラフィカルユーザインタフェース生成系とその評価
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- バッファ溢れ攻撃とその防御(コンピュータセキュリティシリーズ(1))
- メモリ管理機能のモジュラーかつ効率的な実装手法
- ウィルスをはじめとする悪性ソフトウエア
- Java, C#の次に来るのは?(インタラクティブ・エッセイ)
- 属性文法に対するデバッガ
- 循環属性文法に基づく生成系Junについて
- 属性文法に対するデバッグ方式の構想
- 木属性文法とGUI生成系を利用したデバッガの作成
- 異機種分散環境上でのDcamlバイトコードコンパイラの設計と実現
- 異機種分散環境上でのDcamlネイティブコンパイラの設計と実現
- 異機種分散環境上のアプリケーション開発環境Dcamlシステムの構想
- 並行言語Harmony/2とその一級継続機構
- 東日本大震災 危機発生時の対応について考える:9.危機に試されるスマートフォンのアプリケーション
- 並行言語Harmony/2とその一級継続機構
- データベース指向OS XEROのデータベースシステム実現モデル
- データベース処理を指向した分散OS XEROの永続オブジェクト管理
- データベース処理を指向した分散オペレーティング・システムXEROの設計
- プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価
- 低レベル命令セット仮想計算機を利用した混成環境におけるプロセス移送
- 高速実行可能な低レベル命令セット仮想計算機の設計
- 「情報処理学会論文誌 : プログラミング」の編集について
- 多言語に対応した自己記述をもったバイナリデータ形式
- 並行トランザクション機構の実装
- Actorモデルにもとづいた非同期並列プログラミング言語ActGPUのコンパイラの実装とその評価
- Actorモデルにもとづいた非同期並列プログラミング言語ActGPUのコンパイラの実装とその評価
- 解析表現文法とSchemeマクロ展開器を用いたJavaScript向けHygienic構文マクロシステムの実装