PV2 ⊧ Eschersynthesises a recursive program based on input-output examples

Application domain/field

• Program synthesis
• Recursive programs

Type of tool

Synthesis tool

Expected input

• Set of input-output examples
• Set of components allowed to appear in the synthesized program

Expected output

Recursive program that implements the intended behaviour

Internals

Given input-output examples, it synthesizes recursive programs implementing the intended behaviour.