Abstract
Effective generation of efficient and correct programs from specifications is the underlying design motivation of the Equivalent Transformation (ET) computation model. This concise paper explains how the ET model satisfies major required features of a program synthesis framework, and outlines a three-phase program synthesis method.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have