FlashMeta
From MaRDI portal
Software:41198
swMATH29484MaRDI QIDQ41198FDOQ41198
Author name not available (Why is that?)
Cited In (6)
- Programmable program synthesis
- Combining model finder and genetic programming into a general purpose automatic program synthesizer
- Scaling Enumerative Program Synthesis via Divide and Conquer
- 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
