情報処理学会 プログラミング研究会

第35回 2001-07-26 ~ 2001-07-27 沖縄コンベンションセンター (第14回SWoPP)

(35-1) プロセス代数を用いたセキュリティ・プロトコル記述
    櫻田 英樹 (NTT)
(35-2) 属性文法の系統的デバッグ法
    佐々木 晃,池添 洋平,佐々 政孝 (東京工業大学)
(35-3) 特別講演 The Network must be a Computer.
    村岡 洋一 (早稲田大学)
(35-4) Addistant: アスペクト指向の分散プログラミング支援ツール
    立堀 道昭 (筑波大学),千葉 滋 (東京工業大学),板野 肯三 (筑波大学)
(35-5) リファクタリングを自動化するための基本機構の提案
    秦野 克彦,乃村 能成,谷口 秀夫 (九州大学),牛島 和夫 (ISIT九州システム情報技術研究所)
(35-6) 並列プログラムデバッギングのための巻き戻し実行機構
    丸山 真佐夫 (木更津高専),山本 繁弘,大野 和彦,中島 浩 (豊橋技術科学大学)
(35-7) If it is Invisible How to Know its Work ? -Towards Self-Monitoring Software for Invisible Computing Environment
    Jianjun Zhao,Cunwei Lu,Manabu Fukushima,Hideki Yamazaki (福岡工業大学)
(35-8) 並列スクリプト言語 Perl+ の実装と設計
    外崎 由里子,大野 和彦,中島 浩 (豊橋技術科学大学)
(35-9) 静的解析と動的処理の組合せによるエージェント指向並列言語Orgelのスケジューリング
    山本 繁弘,大野 和彦,中島 浩 (豊橋技術科学大学)
(35-10) Java 言語上の細粒度マルチスレッドフレームワークにおける問題点の考察
    西川 健一,脇田 建,佐々 政孝 (東京工業大学)
(35-11) 入れ子関数を利用したマルチスレッドの実現
    田畑 悠介 (京都大学),八杉 昌宏 (京大/JST),小宮 常康,湯淺 太一 (京都大学)
(35-12) Java のクラスファイル変換によるスレッド移送
    松崎 明,山口 実靖,相田 仁 (東京大学)
(35-13) Java バイトコード変換による細粒度CPU 資源管理
    速水 雄太,田浦 健次朗,米澤 明憲 (東京大学)
(35-14) バイトコード変換を用いたJava 標準API 拡張ツール
    田中 雅浩,鎌田 十三郎,瀧 和男 (神戸大学)