PROSE Framework
Microsoft Program Synthesis using Examples (PROSE)
Microsoft PROSE is a framework of technologies for programming by examples: automatic generation of programs from input-output examples.
Given a domain-specific language (DSL) and input-output examples for the desired program’s behavior, PROSE synthesizes a ranked set of DSL programs that are consistent with the examples.
Tutorial
A step-by-step walkthrough of the process of building a DSL in PROSE and enabling program synthesis for it.
API and samples
If you want to apply an existing PROSE DSL, check out its documentation and our samples.