Uma introdução à interpretação abstrata de linguagens funcionais

Magalhães, Thales de Freitas

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/23094

Type:	Trabalho de conclusão de graduação
Title:	Uma introdução à interpretação abstrata de linguagens funcionais
Author(s)/Inventor(s):	Magalhães, Thales de Freitas
Advisor:	Nobrega, Hugo de Holanda Cunha
Abstract:	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.
Keywords:	Programação funcional Análise estática de programas Interpretação abstrata Avaliação parcial Functional programming Static program analysis Abstract interpretation Partial evaluation
Subject CNPq:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Production unit:	Instituto de Computação
Publisher:	Universidade Federal do Rio de Janeiro
Issue Date:	2-Apr-2024
Publisher country:	Brasil
Language:	por
Right access:	Acesso Aberto
Appears in Collections:	Ciência da Computação

Files in This Item:

File	Description	Size	Format
TFMagalhães.pdf		332.78 kB	Adobe PDF	View/Open

Show full item record Recommend this item View Statistics

Pantheon Institutional repository