Data types as a more ergonomic frontend for grammar-guided genetic programming

G Espada, L Ingelse, P Canelas, P Barbosa… - Proceedings of the 21st …, 2022 - dl.acm.org
Genetic Programming (GP) is an heuristic method that can be applied to many Machine
Learning, Optimization and Engineering problems. In particular, it has been widely used in …

Why functional program synthesis matters (in the realm of genetic programming)

F Garrow, MA Lones, R Stewart - Proceedings of the Genetic and …, 2022 - dl.acm.org
In Genetic Programming (GP) systems, particularly those that target general program
synthesis problems, it is common to use imperative programming languages to represent …

Comparing the Expressive Power of Strongly-Typed and Grammar-Guided genetic programming

A Fonseca, D Poças - Proceedings of the Genetic and Evolutionary …, 2023 - dl.acm.org
Since Genetic Programming (GP) has been proposed, several flavors of GP have arisen,
each with their own strengths and limitations. Grammar-Guided and Strongly-Typed GP …

Synthesizing programs from program pieces using genetic programming and refinement type checking

S Tseng, E Hemberg, UM O'Reilly - European Conference on Genetic …, 2022 - Springer
Program synthesis automates the process of writing code, which can be a very useful tool in
allowing people to better leverage computational resources. However, a limiting factor in the …

Grammatical evolution mapping for semantically-constrained genetic programming

A Fonseca, P Santos, G Espada, S Silva - Genetic Programming Theory …, 2022 - Springer
Abstract Search-Based Software Engineering problems frequently have semantic
constraints that can be used to deterministically restrict what type of programs can be …

Augmenting search-based techniques with static synthesis-based input generation

P Santos, J Campos, CS Timperley… - 2021 IEEE/ACM 14th …, 2021 - ieeexplore.ieee.org
Automated test generation helps programmers to test their software with minimal
intervention. Automated test generation tools produce a set of program inputs that maximize …

LiquidJava: extending Java with refinements

CV Gamboa - 2022 - repositorio.ul.pt
Software development is an area with continued growth over the years, with more ap
plications being produced every day. As software demand grows, so does the demand for …

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 …