|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
著者: "CHIBA, Yuki"
4 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 2006 | RAPT : A Program Transformation System based on Term Rewriting | Chiba, Yuki; Aoto, Takahito |
| 1-Apr-2007 | A Higher-Order Knuth-Bendix Procedure and Its Applications | KUSAKARI, Keiichirou; CHIBA, Yuki |
| 15-Jan-2008 | Automatic Construction of Program Transformation Templates | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
|
