| Campo Dublin Core | Valor | Língua |
|---|
| dc.contributor.advisor | Alves, Vander Ramos | - |
| dc.contributor.author | Bortolli, Breno Augusto Fatureto | - |
| dc.identifier.citation | BORTOLLI, Breno Augusto Fatureto. Automatic Lifting of Functions for Incremental Analysis. 2022. ix, 40 f., il. Trabalho de Conclusão de Curso (Bacharelado em Engenharia da Computação) — Universidade de Brasília, Brasília, 2022. | pt_BR |
| dc.description | Trabalho de Conclusão de Curso (graduação) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2022. | pt_BR |
| dc.description.abstract | Evolução é um fato do desenvolvimento de software. Fluxos modernos de desenvolvimento de software usam análises extensivamente em grandes bases de código que estão sob constante evolução. Como consequência, análises precisam desenvolver métodos de lidar com mudanças incrementais na entrada, geralmente de maneiras que reutilizam resultados computados previamente. Apesar disso, análises de software geralmente lidam com isso de maneira ad-hoc. Este trabalho tem como objetivo desenvolver uma abordagem de reuso sistemática baseada no desdobramento natural de processos recursivos em estruturas com formato de árvore. Uma avaliação empírica preliminar sugere que o método obtém reuso de granularidade fina para uma classe de análises de software. Avaliamos a implementação do nosso método em dois cenários em que a entrada passa por evolução, e obtemos aceleração significativa da análise em relação à análise simples após evoluções sucessivas. | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject.keyword | Software - desenvolvimento | pt_BR |
| dc.subject.keyword | Metaprogramação | pt_BR |
| dc.title | Automatic Lifting of Functions for Incremental Analysis | pt_BR |
| dc.type | Trabalho de Conclusão de Curso - Graduação - Bacharelado | pt_BR |
| dc.date.accessioned | 2023-02-17T18:54:54Z | - |
| dc.date.available | 2023-02-17T18:54:54Z | - |
| dc.date.submitted | 2022-05-12 | - |
| dc.identifier.uri | https://bdm.unb.br/handle/10483/33662 | - |
| dc.language.iso | Inglês | pt_BR |
| dc.rights.license | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor que autoriza a Biblioteca Digital da Produção Intelectual Discente da Universidade de Brasília (BDM) a disponibilizar o trabalho de conclusão de curso por meio do sítio bdm.unb.br, com as seguintes condições: disponível sob Licença Creative Commons 4.0 International, que permite copiar, distribuir e transmitir o trabalho, desde que seja citado o autor e licenciante. Não permite o uso para fins comerciais nem a adaptação desta. | pt_BR |
| dc.contributor.advisorco | Teixeira, Leopoldo Motta | - |
| dc.description.abstract1 | Evolution is a fact of software development. Modern software workflows employ software analyses extensively on large codebases that are under constant evolution. As such, analyses need to develop some method that deals with incremental changes in the input, often in ways that reuse previously computed results. Despite that, software analyses often deal with that in ad-hoc ways, requiring high development and engineering costs to deal with evolution. This work develops an approach of systematic reuse based on the natural unfolding of recursive procedures on tree-shaped data structures. A preliminary empirical assessment suggests that the method achieves fine-grained reuse for a class of software analyses We evaluated an implementaion of our method on a couple of scenarios in which the input undergoes evolution, and were able to obtain significant speed-up after successive evolutions when compared to the plain analysis. | pt_BR |
| Aparece na Coleção: | Engenharia da Computação
|
