Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Constructing web service in equivalent transformation programming language
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
| Hi-index | 0.00 |
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 ofET-based program synthesis.