• Hem
  • program synthesis

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/

Kategorier:

programming paradigmcomputational problem