PROSE Program Synthesis Hackathon
Prose Homepage with installation instructions
PROSE: Inductive Program Synthesis for the Mass Markets (PPTX) by Oleksandr Polozov, Sumit Gulwani, and the rest of the PROSE team
Hackathon Tutorial Slides
Programming by Examples with PROSE SDK: A Tutorial (PPTX) by Oleksandr Polozov, Sumit Gulwani, and the rest of the PROSE team
Additional, Highlighted Resources
- Standard PROSE concepts lists built-in PROSE operators that can be used in your DSL (e.g. Pair, Map, Filter, …) along with usage instructions.
- Step-by-step tutorial for creating domain-specific languages (DSLs) with PROSE