Program synthesis
From Wiki @ Karl Jones dot com
Revision as of 10:16, 26 August 2016 by 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...")
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
