情報処理学会 プログラミング研究会
第7回 1996-05-31 学会会議室 芝浦
(7-1) 超逐次プログラミング
内平 直志，川田 秀司，関 俊文，本位田 真一 (東芝)
(7-2) DNA コンピューティングの理論と実際
有田 正規，渡辺 真理 (東京大学)
(7-3) ポータブルな言語処理系の日本語化方式
牛嶋 哲 (東京工業大学)
(7-4) 正規右辺文法の LALR パーサの新しい実現法
森本 真一 (日本電気)
(7-5) 線形論理型言語のコンパイラ処理系でのリソース管理方式について
田村 直之，池田 雄一 (神戸大学)
(7-6) 抽象解釈における Lazy な抽象領域の生成
小川 瑞史，小野 諭 (NTT)
(7-7) 環境λ計算と単一化機構
西崎 真也 (千葉大学)