program synthesis

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

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

Danh mục:

programming paradigmcomputational problem