Combining model finder and genetic programming into a general purpose automatic program synthesizer

DOI10.1016/j.ipl.2019.105866zbMath1478.68061OpenAlexW2984078304MaRDI QIDQ2011033

Juliano Iyoda, Alexandre Mota, Alexandre C. M. Correia

Publication date: 28 November 2019

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2019.105866

zbMATH Keywords

programming languagesgenetic algorithmgenetic programmingprogram synthesisAlloy

Mathematics Subject Classification ID

Evolutionary algorithms, genetic algorithms (computational aspects) (68W50) Theory of programming languages (68N15) Theory of software (68N99)

Uses Software

• Alloy*
• Rosette
• FlashMeta

Cites Work

• Alloy*: a general-purpose higher-order relational constraint solver
• From program verification to program synthesis
• Toward automatic program synthesis
• Program Development in Computational Logic
• Unnamed Item

This page was built for publication: Combining model finder and genetic programming into a general purpose automatic program synthesizer