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

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Nobrega, Hugo de Holanda Cunha	-
dc.contributor.author	Magalhães, Thales de Freitas	-
dc.date.accessioned	2024-07-05T17:48:27Z	-
dc.date.available	2024-07-07T03:00:17Z	-
dc.date.issued	2024-04-02	-
dc.identifier.uri	http://hdl.handle.net/11422/23094	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal do Rio de Janeiro	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Programação funcional	pt_BR
dc.subject	Análise estática de programas	pt_BR
dc.subject	Interpretação abstrata	pt_BR
dc.subject	Avaliação parcial	pt_BR
dc.subject	Functional programming	pt_BR
dc.subject	Static program analysis	pt_BR
dc.subject	Abstract interpretation	pt_BR
dc.subject	Partial evaluation	pt_BR
dc.title	Uma introdução à interpretação abstrata de linguagens funcionais	pt_BR
dc.type	Trabalho de conclusão de graduação	pt_BR
dc.contributor.referee1	Paixão, João Antônio Recio da	-
dc.contributor.referee2	Gualandi, Hugo Musso	-
dc.description.resumo	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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto de Computação	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO	pt_BR
dc.embargo.terms	aberto	pt_BR
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 simple item record Recommend this item View Statistics

Pantheon Institutional repository