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