研究者詳細

学術論文
分割表示   全件表示 >>

24 件中 21 - 24 件目

年度
Year
論文題目名
Title of the articles
共著区分
Collaboration
   Classification
NeoCILIUS
   請求番号/資料ID
Request No
掲載誌名 Journal name,出版機関名 Publishing organization,巻/号 Vol./no.,頁数 Page nos.,発行年月(日) Date
2004  Deterministic Second-Order Patterns  共著   
Information Processing Letters  , Elsevier  , 89(6)  , 309-314  , 2004/03   

概要(Abstract)  

備考(Remarks)  

2003  Deterministic Higher-Order Patterns for Program Transformation  共著   
Logic Based Program Synthesis and Transformation  , Springer  , LNCS 3018  , 128-142  , 2004/08   

概要(Abstract)  

備考(Remarks) 以下を改訂したもの.
Deterministic Second-order Patterns in Program Transformation. Maurice Bruynooghe (Ed.), In Preproceedings of the International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), pp. 165-178, Uppsala, Sweden, August 2003. Technical Report CW 365 at Dept. of Computer Science, K.U.Leuven, Leuven, Belgium. August 25-27, 2003, Uppsala, Sweden. 

2002  Yicho - A System for Programming Program Calculations  共著   
Mathematical Engineering Technical Reports  , the University of Tokyo  , 7  , 1-17  , 2002/06   

概要(Abstract)  

備考(Remarks)  

2002  変換戦略の記述に基づくプログラムの自動生成システムの実装  共著   
情報処理学会論文誌:トランザクション「プログラミング」  , 情報処理学会  , Vol. 43 No. SIG3  , 62-77  , 2002/03   

概要(Abstract)  

備考(Remarks) 最大マーク付け問題の効率的プログラムの自動生成(情報処理学会第36回プログラミング研究会)を改訂したもの 

Page: [<<PREV] [1] [2] [3] [NEXT>>]