Equivalent transformation (ET) is useful for synthesis and transformation of programs. However, it is not so clear what semantics should be preserved in synthesis and transformation of programs in logic and functional programming, which come from the disagreement of computation models (inference or evaluation) and equivalent transformation. To overcome the difficulty, we adopt a new computation model, called equivalent transformation model, where equivalent transformation is used not only for program synthesis, but also for computation. We develop a simple and general foundation for computation and program synthesis, and prove the correctness of ET-based program synthesis. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Akama, K., Koike, H., & Mabuchi, H. (2001). A theoretical foundation of program synthesis by equivalent transformation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2244 LNCS, pp. 131–139). Springer Verlag. https://doi.org/10.1007/3-540-45575-2_14
Mendeley helps you to discover research relevant for your work.