Difference between revisions of "Program synthesis"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "'''Program synthesis''' is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to construct automatica...") |
Karl Jones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | '''Program synthesis''' is a special form of [[automatic programming]] that is most often paired with a technique for formal verification. | + | '''Program synthesis''' is a special form of [[automatic programming]] that is most often paired with a technique for [[formal verification]]. |
The goal is to construct automatically a program that provably satisfies a given high-level specification. | The goal is to construct automatically a program that provably satisfies a given high-level specification. | ||
| Line 9: | Line 9: | ||
* [[Automatic programming]] | * [[Automatic programming]] | ||
* [[Formal system]] | * [[Formal system]] | ||
| + | * [[Formal verification]] | ||
* [[Inductive programming]] | * [[Inductive programming]] | ||
* [[Metaprogramming]] | * [[Metaprogramming]] | ||
Latest revision as of 12:01, 26 August 2016
Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification.
The goal is to construct automatically a program that provably satisfies a given high-level specification.
In contrast to other automatic programming techniques, the specifications are usually non-algorithmic statements of an appropriate formal system.
See also
External links
- Program synthesis @ Wikipedia
