ไทย

English Français العربية ไทย 한국어 中文日本語

EntityQ4117718· pop 6· linked from 228 articles

Program synthesis

Sign in to save

task to construct a program that provably satisfies a given high-level formal specification

Available in 6 languages

via Wikidata sitelinks · CC0

Program synthesis · Vinony