program synthesis

task to construct a program that provably satisfies a given high-level formal specification

en-GB/ˈpɹəʊɡɹæm ˈsɪnθəˌsɪs/
en-US/ˈpɹoʊɡˌɹæm ˈsɪnθəsəs/

ক্যাটাগরি:

programming paradigmcomputational problem