• Home
  • program synthesis

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/

Categories:

programming paradigmcomputational problem