PV2 Eschersynthesises a recursive program based on input-output examples

Application domain/field

Type of tool

Synthesis tool

Expected input

Expected output

Recursive program that implements the intended behaviour

Internals

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

Links

https://github.com/MrVPlusOne/Escher-Scala**Cannot find the original repository but someone else did make an implementation of the algorithm:

Related papers

https://doi.org/10.1007/978-3-642-39799-8_67

Last publication date

2013

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.