Program Synthesis Based on the Equivalent Transformation Computation Model.

Kiyoshi Akama Ekawit Nantajeewarawat Hidekatsu Koike

Published in: LOPSTR (2002)

Keyphrases

program synthesis
conceptual model
data mining
high level
similarity measure
low level
computational model
artificial intelligence
training data
general purpose
statistical model
closed form
model driven