Data types as a more ergonomic frontend for grammar-guided genetic programming
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 …
Learning, Optimization and Engineering problems. In particular, it has been widely used in …
Why functional program synthesis matters (in the realm of genetic programming)
In Genetic Programming (GP) systems, particularly those that target general program
synthesis problems, it is common to use imperative programming languages to represent …
synthesis problems, it is common to use imperative programming languages to represent …
Comparing the Expressive Power of Strongly-Typed and Grammar-Guided genetic programming
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 …
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 …
allowing people to better leverage computational resources. However, a limiting factor in the …
Grammatical evolution mapping for semantically-constrained genetic programming
Abstract Search-Based Software Engineering problems frequently have semantic
constraints that can be used to deterministically restrict what type of programs can be …
constraints that can be used to deterministically restrict what type of programs can be …
Augmenting search-based techniques with static synthesis-based input generation
Automated test generation helps programmers to test their software with minimal
intervention. Automated test generation tools produce a set of program inputs that maximize …
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 …
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 …
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 …
search space as the number of language components grows. The increasing number of …