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