Browsing Computer Science - Undergraduate degree by Author "Moreira, Alvaro Freitas"
Now showing items 1-10 of 10
-
Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
Matschulat, Samuel Grimm (2016) [Work completion of graduation]Neste trabalho é descrita a implementação de um software aplicativo gráfico, denominado Cool Inspector, cujo objetivo é oferecer um ambiente que permite a visualização detalhada, tendo a área de semântica formal como ... -
Assistentes baseados em llms no desenvolvimento de software e na prova de teoremas
Silva, Lucas Marques (2024) [Work completion of graduation]Este trabalho apresenta uma análise do impacto de assistentes de código baseados em LLM (Large Language Model) no desenvolvimento de software e na provas de teoremas. Além de uma análise de alguns trabalhos relacionados a ... -
Chronos : uma ferramenta de profiling integrada à suíte de testes para Elixir
Merlo, Vicente Alberto Martins (2021) [Work completion of graduation]Erros em programas de computador causam grandes prejuízos econômicos e sociais. Uma das principais estratégias para a prevenção de erros são os testes unitários, que testam programas em nível de implementação e asseguram ... -
Continuação do desenvolvimento de um provador de teoremas para a lógica clássica de primera ordem e criação de um raciocinador com o método analítico de Tableau para uma lógica de descrição
Cravo, Diogo Raphael (2015) [Work completion of graduation]Durante o Semestre de Inverno de 2013 a 2014 aconteceu o módulo “Projekt: Symbolische Künstliche Intelligenz”. Neste módulo os estudantes criaram um provador de teoremas para a lógica clássica de primeira ordem. O provador ... -
Formalização de ACCE no provador de teoremas Coq
Tanus, Felipe de Oliveira (2013) [Work completion of graduation]Este trabalho descreve uma implementação da transformação ACCE em Coq. A técnica visa permitir que um programa detecte e corrija automaticamente erros de controle de fluxo causados por soft errors. A transformação é aplicada ... -
Projeto e prototipação de uma variação do cálculo-lambda com tipos de sessão
Haggstrom, Gabriel de Souza (2021) [Work completion of graduation]Os tipos de sessão são uma extensão de linguagens de programação que permite verificar, em nível de sistema de tipos, se uma comunicação por troca de mensagens entre pro cessos concorrentes respeita um determinado protocolo. ... -
Retry-transaction : uma nova função primitiva de bloqueio para a STM de Clojure
Ferreira, André Martins (2012) [Work completion of graduation]Neste trabalho é proposta uma nova função primitiva, retry-transaction, para o sistema de Memória Transacional de Software (STM) de Clojure. STM é vista por muitos pesquisadores como uma possível forma de simplificar ... -
SimpleLambda: uma linguagem funcional didática com tradução para o Cubo Lambda
Amaral, Artur Três do (2023) [Work completion of graduation]Cálculo Lambda é um modelo de computação proposto por Alonzo Church. É baseado na definição e aplicação de funções anônimas, sendo o comportamento dos termos definido por meio da substituição de parâmetros por argumentos. ... -
Simulador para o cubo lambda estendido com tipos indutivos
Chandelier, Eduardo Bassani (2023) [Work completion of graduation]A compreensão de Cálculo Lambda e Teoria dos Tipos é importante para entender com mais profundidade os fundamentos tanto de linguagens funcionais modernas como de ferramentas assistentes de prova. Ao longo dos anos uma ... -
The V language
Vedana, Arthur Giesel (2018) [Work completion of graduation]Functional programming languages are known for their ease of use and conciseness. Pure functional languages are a subset of these languages and provide further improvements in certain areas, such as making it easier to ...