Program synthesis is the automated generation of source code or executable procedures that satisfy a given specification, expressed as examples, natural language, or formal constraints, without a human writing the implementation by hand.
| Type |
|
|---|---|
| Resource |
|
| Domain |
|
| Status |
|
| Maturity |
|
| Is a | |
| Generated |
|
| Links | |
| Page resource |
|
Program synthesis is the automated generation of source code or executable procedures that satisfy a given specification, expressed as examples, natural language, or formal constraints, without a human writing the implementation by hand.