Program synthesis

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

• Automatic programming
• Formal system
• Formal verification
• Inductive programming
• Metaprogramming

External links

• Program synthesis @ Wikipedia