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.
Download NuGet package (opens in new tab)
NuGet package for automatically synthesizing programs from 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 (opens in new tab)
If you want to apply an existing PROSE DSL, check out its documentation and our samples (opens in new tab).