Going Bananas! - Unfolding Program Synthesis with Origami

Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini

Automatically creating a computer program using input-output examples can be a challenging task, especially when trying to synthesize computer programs that require loops or recurs…