Home›Harv and Sfn no-target errors›程序合成🌐中文EnglishFrançaisالعربيةไทย한국어中文日本語EntityQ4117718· pop 6· linked from 228 articles程序合成task to construct a program that provably satisfies a given high-level formal specificationAvailable in 6 languagesFrançais日本語العربيةKara-Kalpak한국어via Wikidata sitelinks · CC0ConnectionsresolutionEntityfunctional programmingEntityCategoriesHarv and Sfn no-target errorsProgramming paradigms