情報処理学会 プログラミング研究会
第77回 2010-01-26 ~ 2010-01-27 大阪電気通信大学寝屋川キャンパスJ号館
(77-1) プラガブル構造とプラットフォームポータビリティを指向したシステムソフトウェアの開発
斉藤 匡人，森 雅智，徳田 英幸 (慶應義塾大学)
(77-2) Traceglasses: 効率のよい欠陥の発見手法を実現するトレースに基づくデバッガ
櫻井 孝平 (芝浦工業大学)，増原 英彦 (東京大学)，古宮 誠一 (芝浦工業大学)
(77-3) スクリプトによるWebページの機能拡張について
後藤 正，境 将彦，長縄 祐輝，森 隆次郎，永松 礼夫 (神奈川大学)
(77-4) 実行履歴を基礎とするアスペクト指向プログラミング言語の利用例
河内 一了，増原 英彦 (東京大学)
(77-5) 確率様相論理による秘匿性の証明
竹内 泉 (産業技術総合研究所)，真野 健 (NTT)
(77-6) ヒープ中の同期ロックの整合性に関するモデル検査
松田 元彦，前田 俊行，米澤 明憲 (東京大学)
(77-7) 文字列等式充足器の実装と評価
梅村 晃広 (NTTデータ)，青木 利晃 (北陸先端科学技術大学院大学)