Towards the Conceptualization of Refinement Typed Genetic Programming

Bibliographic Details
Main Author: Santos, Paulo Alexandre Canelas dos
Publication Date: 2020
Format: Master thesis
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10451/48404
Summary: Tese de mestrado, Engenharia Informática (Engenharia de Software) Universidade de Lisboa, Faculdade de Ciências, 2020
id RCAP_ff283ee64c62b00dbdce7863691ce5f4
oai_identifier_str oai:repositorio.ulisboa.pt:10451/48404
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Towards the Conceptualization of Refinement Typed Genetic ProgrammingProgramação GenéticaTipos RefinadosSíntese de ProgramasProgramação Genética com Tipos RefinadosTeses de mestrado - 2020Departamento de InformáticaTese de mestrado, Engenharia Informática (Engenharia de Software) Universidade de Lisboa, Faculdade de Ciências, 2020The Genetic Programming (GP) approaches typically have difficulties dealing with the large search space as the number of language components grows. The increasing number of components leads to amore extensive search space and lengthens the time required to find a fitting solution. Strongly Typed Genetic Programming (STGP) tries to reduce the search space using the programming language type system, only allowing typesafe programs to be generated. Grammar Guided Genetic Programming (GGGP) allows the user to specify the program’s structure through grammar, reducing the number of combinations between the language components. However, the STGP restriction of the search space is still not capable of holding the increasing number of synthesis components, and the GGGP approach is arguably usable since it requires the user to create not only a parser and interpreter for the generated expressions from the grammar, but also all the functions existing in the grammar. This work proposes Refinement Typed Genetic Programming (RTGP), a hybrid approach between STGP and RTGP, which uses refinement types to reduce the search space while maintaining the language usability properties. This work introduces the ÆON programming language, which allows the partial or total synthesis of refinement typed programs using genetic programming. The potential of RTGP is presented with the usability arguments on two use cases against GGGP and the creation of a prototype propertybased verification tool, pyCheck, proof of RTGPs components versatility.Fonseca, Alcides Miguel Cachulo AguiarRepositório da Universidade de LisboaSantos, Paulo Alexandre Canelas dos2021-06-08T12:09:06Z202020202020-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10451/48404TID:202605400enginfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-03-17T14:34:49Zoai:repositorio.ulisboa.pt:10451/48404Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T03:15:53.560817Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Towards the Conceptualization of Refinement Typed Genetic Programming
title Towards the Conceptualization of Refinement Typed Genetic Programming
spellingShingle Towards the Conceptualization of Refinement Typed Genetic Programming
Santos, Paulo Alexandre Canelas dos
Programação Genética
Tipos Refinados
Síntese de Programas
Programação Genética com Tipos Refinados
Teses de mestrado - 2020
Departamento de Informática
title_short Towards the Conceptualization of Refinement Typed Genetic Programming
title_full Towards the Conceptualization of Refinement Typed Genetic Programming
title_fullStr Towards the Conceptualization of Refinement Typed Genetic Programming
title_full_unstemmed Towards the Conceptualization of Refinement Typed Genetic Programming
title_sort Towards the Conceptualization of Refinement Typed Genetic Programming
author Santos, Paulo Alexandre Canelas dos
author_facet Santos, Paulo Alexandre Canelas dos
author_role author
dc.contributor.none.fl_str_mv Fonseca, Alcides Miguel Cachulo Aguiar
Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Santos, Paulo Alexandre Canelas dos
dc.subject.por.fl_str_mv Programação Genética
Tipos Refinados
Síntese de Programas
Programação Genética com Tipos Refinados
Teses de mestrado - 2020
Departamento de Informática
topic Programação Genética
Tipos Refinados
Síntese de Programas
Programação Genética com Tipos Refinados
Teses de mestrado - 2020
Departamento de Informática
description Tese de mestrado, Engenharia Informática (Engenharia de Software) Universidade de Lisboa, Faculdade de Ciências, 2020
publishDate 2020
dc.date.none.fl_str_mv 2020
2020
2020-01-01T00:00:00Z
2021-06-08T12:09:06Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/48404
TID:202605400
url http://hdl.handle.net/10451/48404
identifier_str_mv TID:202605400
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833601645186908160

Similar Items