program synthesis (Q4117718)
Jump to navigation
Jump to search
task to construct a program that provably satisfies a given high-level formal specification
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | program synthesis |
task to construct a program that provably satisfies a given high-level formal specification |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(5 entries)
- arwiki تكوين البرنامج
- enwiki Program synthesis
- frwiki Synthèse de programmes
- jawiki プログラム合成
- kowiki 프로그램 합성