DSpace Collection:https://repositorio.ufu.br/handle/123456789/189192026-07-20T03:18:17Z2026-07-20T03:18:17ZDesenvolvendo um sistema de controle financeiro pessoalhttps://repositorio.ufu.br/handle/123456789/488962026-07-18T06:18:31Z2026-02-27T00:00:00ZTitle: Desenvolvendo um sistema de controle financeiro pessoal2026-02-27T00:00:00ZHigher-order Virtual Machine 3: uma reconstrução racionalhttps://repositorio.ufu.br/handle/123456789/488952026-07-18T06:18:10Z2025-09-23T00:00:00ZTitle: Higher-order Virtual Machine 3: uma reconstrução racional
Abstract: Higher-order Virtual Machine 3 (HVM3) is a compiler that generates high-performance code based on interaction nets. It stands out for its potential for massively parallel execution in its strict version and for the optimal reduction of λ-calculus terms in its lazy version. Despite its promising properties, its operational complexity and the lack of educational documentation represent a barrier for new researchers and developers. This work aims to fill this gap by providing an incremental and detailed description of the syntax, semantics, and inner workings of HVM3, with a focus on its Lazy version. Starting from the theoretical foundations of λ-calculus and interaction combinators, the virtual machine is reconstructed step-by-step through a series of sub-machines, each adding new features to the previous one. The process begins with the memory model, evolving into the implementation of interaction combinators, and subsequently incorporating arithmetic operations, references, pattern matching for Algebraic Data Types (ADTs), reduction prioritization mechanisms, and more. The result is a documentation that serves as a guide for understanding HVM3, making this powerful computational model more accessible and fostering future research in the field.2025-09-23T00:00:00ZConstrução de um conjunto de dados de tráfego DNS para apoio à detecção de exfiltração de dadoshttps://repositorio.ufu.br/handle/123456789/488472026-07-15T06:26:23Z2026-03-27T00:00:00ZTitle: Construção de um conjunto de dados de tráfego DNS para apoio à detecção de exfiltração de dados2026-03-27T00:00:00ZA mobilidade virtual e geográfica de estudantes e egressos de computação e sistemas de informação em uma instituição de ensino superior mineirahttps://repositorio.ufu.br/handle/123456789/488252026-07-15T06:26:11Z2026-03-18T00:00:00ZTitle: A mobilidade virtual e geográfica de estudantes e egressos de computação e sistemas de informação em uma instituição de ensino superior mineira2026-03-18T00:00:00Z