A Theoretical Foundation of Program Synthesis by Equivalent Transformation
暂无分享,去创建一个
[1] Yoshihiko Futamura,et al. Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler , 1999, High. Order Symb. Comput..
[2] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[3] Alberto Pettorossi,et al. Transformation of Logic Programs: Foundations and Techniques , 1994, J. Log. Program..
[4] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[5] Kiyoshi Akama,et al. A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation , 2001, RULE@PLI.