Bootstrapping Library-Based Synthesis
Abstract elided by the publisher.
Related papers
- DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning PLDI 2021
- Self-certification: bootstrapping certified typecheckers in F* with Coq POPL 2012
- A minimalistic verified bootstrapped compiler (proof pearl) CPP 2021
- Synthesizing code quality rules from examples OOPSLA 2022
- Bootstrapping domain-specific meta-languages in language workbenches GPCE 2016
- Just-in-time learning for bottom-up enumerative synthesis OOPSLA 2020
- A bootstrapping infrastructure to build and extend Pharo-like languages Onward! 2015
- Axiomatic Bootstrapping: A Guide for Compiler Hackers TOPLAS 1994