Program Synthesis Based on the Equivalent Transformation Computation Model.

Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike

Browse the full LOPSTR paper archive.