HOTGP-Higher-Order Typed Genetic Programming

MC Fernandes, FO De França… - Proceedings of the …, 2023 - dl.acm.org
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 …

Towards the Conceptualization of Refinement Typed Genetic Programming

PAC dos Santos - 2020 - search.proquest.com
Turing apresentou pela primeira vez a evolução de programas através da descrição de
operadores evolutivos bastante básicos, como a mutação, seleção, e material genético …

Towards the Conceptualization of Refinement Typed Genetic Programming

PAC Santos - 2020 - repositorio.ul.pt
The Genetic Programming (GP) approaches typically have difficulties dealing with the large
search space as the number of language components grows. The increasing number of …