swMATH29484MaRDI QIDQ41198FDOQ41198
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=2814310
Cited In (19)
- Programmable program synthesis
- Combining model finder and genetic programming into a general purpose automatic program synthesizer
- Scaling enumerative program synthesis via divide and conquer
- 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
