Pantheon Repositorio Institucional
Recopila, preserva y difundi la producción académica digital en todas las áreas del conocimiento.
Comprende los activos del repositorio, además de tesis y disertaciones en la UFRJ, artículos científicos, libros electrónicos, capítulos de libros y trabajos presentados en eventos para los profesores, investigadores, personal administrativo y estudiantes de maestría y doctorado.
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/11422/23094| Especie: | Trabalho de conclusão de graduação |
| Título : | Uma introdução à interpretação abstrata de linguagens funcionais |
| Autor(es)/Inventor(es): | Magalhães, Thales de Freitas |
| Tutor: | Nobrega, Hugo de Holanda Cunha |
| Resumen: | A execução de código em tempo de compilação é uma técnica importante no desenvolvimento de software com aplicações diversas, incluindo a otimização de programas, meta-programação, e a validação de expressões em tempo de compilação. Embora a execução de expressões em tempo de compilação seja possível em linguagens como C++ ou Scheme, essa tarefa costuma complexa e, em alguns casos, imprática. Além disso esse processo exige, no mínimo, a anotação manual das expressões do programa informando ao compilador (ou interpretador) quais partes do programa podem (ou devem) ser executadas estaticamente. Neste trabalho, exploramos estratégias de análise estática com o objetivo de pré-computar, de forma automática, parte das expressões de um programa escrito em uma linguagem de programação funcional baseada no cálculo lambda não tipado. |
| Materia: | Programação funcional Análise estática de programas Interpretação abstrata Avaliação parcial Functional programming Static program analysis Abstract interpretation Partial evaluation |
| Materia CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Unidade de producción: | Instituto de Computação |
| Editor: | Universidade Federal do Rio de Janeiro |
| Fecha de publicación: | 2-abr-2024 |
| País de edición : | Brasil |
| Idioma de publicación: | por |
| Tipo de acceso : | Acesso Aberto |
| Aparece en las colecciones: | Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| TFMagalhães.pdf | 332.78 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.