Program synthesis
- Wikidata
- https://www.wikidata.org/wiki/Q4117718
- OpenAlex ID
- https://openalex.org/C2776937632 (API record)
- OpenAlex Description
- task to construct a program that provably satisfies a given high-level formal specification
- OpenAlex Level [?]
- 2
Broader Concepts
Narrower Concepts
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.