Aoto Takahito | Riec Tohoku University
スポンサーリンク
概要
関連著者
-
Aoto Takahito
Riec Tohoku University
-
Chiba Yuki
Japan Advanced Institute Of Science And Technology
-
Toyama Yoshihito
Riec Tohoku University
-
AOTO TAKAHITO
RIEC, Tohoku University
-
Chiba Yuki
Research Institute For Scientific Measurements Tohoku University
-
Toyama Yoshihito
Research Institute Of Electrical Communication Tohoku University
-
AOTO TAKAHITO
Research Institute of Electrical Communication, Tohoku University
-
TOYAMA Yoshihito
RIEC, Tohoku University
著作論文
- Soundness of Rewriting Induction Based on an Abstract Principle
- Program Transformation Templates for Tupling Based on Term Rewriting
- Automatic Construction of Program Transformation Templates
- Program Transformation by Templates : A Rewriting Framework