Cited in
(20)- Programmable program synthesis
- Combining model finder and genetic programming into a general purpose automatic program synthesizer
- Scaling enumerative program synthesis via divide and conquer
- MCGP
- Leon
- FALCON
- FlashRelate
- CodeHint
- SyPet
- FlashExtract
- Qlose
- Rosette
- BlinkFill
- TRANSIT
- TerpreT
- AGES
- TAJ
- Theory exploration powered by deductive synthesis
- Automatic synthesis of data-flow analyzers
- Programming by predicates: a formal model for interactive synthesis
This page was built for software: FlashMeta
