1 × Austria
1 × Portugal
1 × Serbia
1 × USA
T.Aoto H.Zhang T.Aoki T.Yamada Y.Toyama
rewrit (3) transform (2) program (2) term (2) base (2) theorem (1) templat (1) checker (1) verifi (1) system (1)
Person: Yuki Chiba
Wrote 4 papers:
- ICST-2015-ZhangAC #exclamation #model checking #verification
- Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
- RTA-2011-AotoYC #higher-order #induction #theorem
- Natural Inductive Theorems for Higher-Order Rewriting (TA, TY, YC), pp. 107–121.
- RTA-2006-ChibaA #named #program transformation #term rewriting
- RAPT: A Program Transformation System Based on Term Rewriting (YC, TA), pp. 267–276.
- PPDP-2005-ChibaAT #program transformation #term rewriting
- Program transformation by templates based on term rewriting (YC, TA, YT), pp. 59–69.