9 citations · 10 across the 4 of their papers we have counts for
3 papers · 1 filter
Functional Program Synthesis with Higher-Order Functions and Recursion Schemes
Matheus Campos Fernandes
Program synthesis is the process of generating a computer program following a set of specifications, such as a set of input-output examples. It can be modeled as a search problem i…
Origami: (un)folding the abstraction of recursion schemes for program synthesis
Matheus Campos Fernandes, Fabricio Olivetti de Franca, Emilio Francesquini
Program synthesis with Genetic Programming searches for a correct program that satisfies the input specification, which is usually provided as input-output examples. One particular…
HOTGP -- Higher-Order Typed Genetic Programming
Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini
Program synthesis is the process of generating a computer program following a set of specifications, which can be a high-level description of the problem and/or a set of input-outp…