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

Alexandre Correia,Juliano Iyoda,Alexandre Mota

Information Processing Letters（2020）

引用 6|浏览18

暂无评分

摘要

•PSMF2 is a new general purpose automatic program synthesizer that combines model checking and genetic programming.•PSMF2 introduces soft sketches as user intent.•PSMF2 uses Input/Output examples, with or without soft sketches.•PSMF2 has synthesized seven well-known programs used by many benchmarks in program synthesis.

查看译文

关键词

Program synthesis,Alloy*,Genetic algorithm,Genetic programming,Programming languages

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要