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