Rosette
From MaRDI portal
Software:39282
No author found.
Related Items (6)
Programmable program synthesis ⋮ A Delta for Hybrid Type Checking ⋮ Synthesis of Recursive ADT Transformations from Reusable Templates ⋮ Alloy*: a general-purpose higher-order relational constraint solver ⋮ Combining model finder and genetic programming into a general purpose automatic program synthesizer ⋮ Supercharging plant configurations using Z3
This page was built for software: Rosette
