This result can be used to automatically synthetize a program that defines a relation from its specification.
An inverse second generation wavelet transform is used to synthetize the original function from the wavelet coefficients.
Antonyms
