BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Portugal
1 × Serbia
1 × USA
Collaborated with:
T.Aoto H.Zhang T.Aoki T.Yamada Y.Toyama
Talks about:
rewrit (3) transform (2) program (2) term (2) base (2) theorem (1) templat (1) checker (1) verifi (1) system (1)

Person: Yuki Chiba

DBLP DBLP: Chiba:Yuki

Contributed to:

ICST 20152015
RTA 20112011
RTA 20062006
PPDP 20052005

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.