A programming language with refinement types and its LLVM-IR front end implementation

Detalhes bibliográficos
Autor(a) principal: Ferrari, Bernardo
Data de Publicação: 2024
Tipo de documento: Trabalho de conclusão de curso
Idioma: eng
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/255688
Resumo: TCC (graduação) - Universidade Federal de Santa Catarina, Centro Tecnológico, Ciências da Computação.
id UFSC_28abf422dee30df1db4fc8a6d2573575
oai_identifier_str oai:repositorio.ufsc.br:123456789/255688
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling A programming language with refinement types and its LLVM-IR front end implementationLinguagem de ProgramaçãoTipos RefinadosRepresentação Intermediária de CódigoCompiladorLLVMTCC (graduação) - Universidade Federal de Santa Catarina, Centro Tecnológico, Ciências da Computação.Esta tese apresenta o design e a implementação do Ekitai, uma linguagem de programação que integra tipos refinados com um front end LLVM-IR. O objetivo principal é aproveitar os tipos refinados para melhorar a segurança de tipos e a otimização durante a geração de código. Exploramos a teoria e os aspectos práticos da incorporação de tipos refinados, que permitem expressar invariantes mais precisas nos tipos. A integração com LLVM-IR demonstra como esses tipos podem ser usados para guiar os processos de otimização e verificação no pipeline de compilação. A avaliação destaca os benefícios e desafios dessa abordagem, fornecendo insights para melhorias e extensões futuras.Florianópolis, SC.Fonseca, AlcidesSantiago, Rafael deUniversidade Federal de Santa Catarina.Ferrari, Bernardo2024-07-08T20:00:33Z2024-07-08T20:00:33Z2024-07-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis168 folhasapplication/pdfhttps://repositorio.ufsc.br/handle/123456789/255688Open Access.info:eu-repo/semantics/openAccessengreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSC2024-07-08T20:00:34Zoai:repositorio.ufsc.br:123456789/255688Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732024-07-08T20:00:34Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv A programming language with refinement types and its LLVM-IR front end implementation
title A programming language with refinement types and its LLVM-IR front end implementation
spellingShingle A programming language with refinement types and its LLVM-IR front end implementation
Ferrari, Bernardo
Linguagem de Programação
Tipos Refinados
Representação Intermediária de Código
Compilador
LLVM
title_short A programming language with refinement types and its LLVM-IR front end implementation
title_full A programming language with refinement types and its LLVM-IR front end implementation
title_fullStr A programming language with refinement types and its LLVM-IR front end implementation
title_full_unstemmed A programming language with refinement types and its LLVM-IR front end implementation
title_sort A programming language with refinement types and its LLVM-IR front end implementation
author Ferrari, Bernardo
author_facet Ferrari, Bernardo
author_role author
dc.contributor.none.fl_str_mv Fonseca, Alcides
Santiago, Rafael de
Universidade Federal de Santa Catarina.
dc.contributor.author.fl_str_mv Ferrari, Bernardo
dc.subject.por.fl_str_mv Linguagem de Programação
Tipos Refinados
Representação Intermediária de Código
Compilador
LLVM
topic Linguagem de Programação
Tipos Refinados
Representação Intermediária de Código
Compilador
LLVM
description TCC (graduação) - Universidade Federal de Santa Catarina, Centro Tecnológico, Ciências da Computação.
publishDate 2024
dc.date.none.fl_str_mv 2024-07-08T20:00:33Z
2024-07-08T20:00:33Z
2024-07-08
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/255688
url https://repositorio.ufsc.br/handle/123456789/255688
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv Open Access.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Open Access.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 168 folhas
application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC.
publisher.none.fl_str_mv Florianópolis, SC.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808651977962291200

Registros relacionados