小川 瑞史


非線形TRSのE重なり性について
松浦 邦博 大山口 通夫 太田 義勝 小川 瑞史 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/11/25
Vol. J80-D1  No. 11  pp. 847-855
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換えシステム深さ保存非E重なり非ω重なり右定項TRS
 あらまし | 本文:PDF(604.1KB)

高階書換え系の単一正規形性
真野 健 小川 瑞史 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3  pp. 258-268
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
項書換え系高階書換え系合流性単一正規形性
 あらまし | 本文:PDF(739.2KB)

広域データフロー解析に基づく関数型プログラムの変則性検出
小川 瑞史 小野 諭 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/10/25
Vol. J71-D  No. 10  pp. 1949-1958
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(874.6KB)