|
|
JAIST Repository >
著者: "Chiba, Yuki"
7 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 26-Apr-2011 | Natural Inductive Theorems for Higher-Order Rewriting | Aoto, Takahito; Yamada, Toshiyuki; Chiba, Yuki |
| 18-Apr-2014 | Model Checking Conformance of Design Model to Its Formal Specification | Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki |
| 5-Jun-2015 | 正当性自動保証機能を備えた高階プログラム自動変換技術 | 千葉, 勇輝; Chiba, Yuki |
|
