情報処理学会 プログラミング研究会
第24回 1999-06-17 ~ 1999-06-18 学会会議室芝浦 (プログラミング言語の設計と実装及び一般)
(24-1) 自己反映的な言語のモジュール結合による実装とその効率化
佐伯 豊，渡部 卓雄 (北陸先端科学技術大学院大学)
(24-2) 線形論理型言語のJava言語による処理系の設計と実装
番原 睦則 (奈良工業高等専門学校)，田村 直之 (神戸大学)
(24-3) ビジュアルシステム「恵比寿」におけるレイアウト制約の実現
丁 錫泰，田中 二郎 (筑波大学)
(24-4) 知的オブジェクト指向プログラミング環境
小林 郁典 (徳島文理大学)，中野 純司 (統計数理研究所)，渡邉 勝正 (奈良先端科学技術大学院大学)
(24-5) ISLISP処理系TISLのためのパッケージシステム
泉 信人，伊藤 貴康 (東北大学)
(24-6) 初心者入門用プログラミング言語「若葉」の言語仕様と処理系の実装
吉良 智樹，並木 美太郎 (東京農工大学)，岩崎 英哉 (東京大学)
(24-7) JavaネイティブコンパイラAdria/Javaのためのクラスファイル変換部の開発
宮田 賢一，西山 博泰，太田 智也 (日立製作所)
(24-8) Javaバイトコードをデコンパイルするための効果的なアルゴリズム
丸山 冬彦，小川 宏高，松岡 聡 (東京工業大学)
(24-9) VRMLにおけるプログラムスライシングとその利用
丸山 博史，荒木 啓二郎 (九州大学)
(24-10) 参照を含む宣言的記述の定義と 負参照の等価変換の正当性
赤間 清 (北海道大学)，岡田 浩一 (NTT)，繁田 良則 (東芝)，宮本 衛市 (北海道大学)
(24-11) Automatic verification based on abstract interpretation
小川 瑞史 (NTT)
(24-12) 遅延ナローイング計算系と制約解消系の融合
佐々木 重雄 (秋田大学)，Mircea Marin (RISC Univ. of Linz)，井田 哲雄 (筑波大学)
(24-13) 手続き間並列化コンパイラWPPの試作 - 手続き間SPMD化技術 -
佐藤 真琴 (新情報処理開発機構)
(24-14) 逐次プログラムの投機並列実行を行なう中間コードインタプリタの構成法
小池 汎平，山名 早人 (電子技術総合研究所)，山口 喜教 (筑波大学)