Josef Moudřík

Combining top-down and bottom-up approaches for automated discovery of typed programs

2017

Automated program discovery has been mainly approached via Genetic Programming, which represents the search space of programs implicitly by a collection of individuals. In this paper, we propose a way of representing program search space …