キーワード : ナローイング


構成子項書換え系の逆計算プログラムの生成
西田 直樹 酒井 正彦 坂部 俊樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/08/01
Vol. J88-D1  No. 8 ; pp. 1171-1183
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
条件付きTRSナローイング逆計算プログラム変換余剰変数
 あらまし | 本文:PDF(337.2KB)

E同一化を用いたマイクロプログラム自動合成手続き
木下 貴史 直井 徹 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/11/25
Vol. J76-D1  No. 11 ; pp. 566-574
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
抽象データ型E同一化マイクロプログラムナローイング逐次化問題
 あらまし | 本文:PDF(610.4KB)