1. Biblioteca Digital de Monografias
  2. CAMPUS DO BACANGA
  3. Curso de Graduação em Engenharia da Computação do Campus do Bacanga
  4. TCCs de Graduação de Engenharia da Computação do Campus do Bacanga
Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/9196
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorSANTOS FILHO, Ernamilson Rezende dos-
dc.date.accessioned2025-04-29T11:54:45Z-
dc.date.available2025-04-29T11:54:45Z-
dc.date.issued2025-02-26-
dc.identifier.urihttp://hdl.handle.net/123456789/9196-
dc.descriptionAbstract: The formalization of computational models, based on the works of Turing and Church, laid the foundations for the development of new paradigms, such as the universal and distributed computation model proposed by Lafont in Interaction Combinators. Thus, driven by the need to understand the functioning of HVM2, an efficient and massively parallel evaluator for extended interaction combinators, this work conducts a structured narrative literature review, drawing from key introductory articles on the theoretical and practical foundations of this evaluator and Interaction Combinators. This review connects fundamental concepts (Proof-Nets, Interaction Nets) to the modern implementation of distributed computing in HVM2. Through this analysis, it is possible to identify the core concepts that structure the abstractions derived from proof-nets, culminating in the definition of a universal and distributed system characterized by high confluence and locality properties. Furthermore, the realization of this theory is observed in HVM2, whose implementation is analyzed in light of its limitations and technical challenges.pt_BR
dc.description.abstractResumo: A formalização dos modelos computacionais, baseada nos trabalhos de Turing e Church, estabeleceu as bases para o desenvolvimento de novos paradigmas, como o modelo de computação universal e distribuído proposto por Lafont em Interaction Combinators. Assim, a partir da necessidade de entender o funcionamento da HVM2, um avaliador eficiente e massivamente paralelo para interaction combinators estendidos, este trabalho realiza uma revisão narrativa da literatura estruturada, tomando como base os principais artigos introdutórios sobre os fundamentos teóricos e práticos deste avaliador e dos Interaction Combinators. Essa revisão conecta conceitos fundamentais (Proof-Nets, Interaction Nets) à implementação moderna de computação distribuída na HVM2. A partir dessa análise, é possível identificar os conceitos fundamentais que estruturam as abstrações criadas a partir das proof-nets, culminando na definição de um sistema universal e distribuído, caracterizado por propriedades de alta confluência e localidade. Além disso, a concretização dessa teoria é observada na HVM2, cuja implementação é analisada à luz de suas limitações e desafios técnicos.pt_BR
dc.publisherUFMApt_BR
dc.subjectproof-nets;pt_BR
dc.subjectinteraction nets;pt_BR
dc.subjectinteraction combinators;pt_BR
dc.subjectHVM2;pt_BR
dc.subjectcomputação distribuída;pt_BR
dc.subjectmodelos computacionaispt_BR
dc.subjectproof-nets;pt_BR
dc.subjectinteraction nets;pt_BR
dc.subjectinteraction combinators;pt_BR
dc.subjectHVM2;pt_BR
dc.subjectdistributed computing;pt_BR
dc.subjectcomputational modelspt_BR
dc.titleHVM2 E INTERACTION COMBINATORS: UMA REVISÃO NARRATIVA DA LITERATURApt_BR
dc.title.alternativeHVM2 AND INTERACTION COMBINATORS: A NARRATIVE LITERATURE REVIEWpt_BR
dc.typeOtherpt_BR
Aparece nas coleções:TCCs de Graduação de Engenharia da Computação do Campus do Bacanga

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
ERNAMILSON REZENDE DOS SANTOS FILHO.pdfTCC de Graduação1,2 MBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.