キーワード : プログラム変換


書換えに基づく最適化のためのXQueryの相対コストモデル
日高 宗一郎 加藤 弘之 吉川 正俊 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/04/01
Vol. J91-D  No. 4 ; pp. 873-888
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: データベース
キーワード: 
問合せ言語プログラム変換コストモデル
 あらまし | 本文:PDF(678.2KB)

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

Ada並行プログラムのためのタスク従属ネットとその自動生成
笠原 義晃 程 京徳 牛島 和夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D1  No. 11 ; pp. 925-935
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
プログラム従属性プログラム表現プログラム変換Ada並行プログラム
 あらまし | 本文:PDF(839.1KB)