登入
選單
返回
Google圖書搜尋
Unfold/fold Program Transformation in CCFG Programming
Yoshiyuki Yamashita
Ikuo Nakata
出版
Institute of Information Sciences and Electronics, University of Tsukuba
, 1988
URL
http://books.google.com.hk/books?id=8MdNGwAACAAJ&hl=&source=gbs_api
註釋
Abstract: "The program transformation rules, unfolding, folding and replacement, in CCFG programming are proposed. Because of the resembance [i.e. resemblance] between CCFG programming and logic programming, we can defined [i.e. define] the rules in the same way as in logic programming. The correctness is also discussed."
