Defesa de mestrado do discente Maycoin Amaro, dia 17/02/2023, as 09:00.

Defesa de mestrado do discente Maycoin Amaro, dia 17/02/2023, as 09:00.

Título: Compiling General Recursive Functions into Finite Depth Pattern Matching

Resumo: Programming languages are popular and diverse, and the convenience of extending or
changing the behavior of complex systems is attractive even for the systems with stringent
security requirements, which often impose restrictions on the programs. A very common
restriction is that the program must terminate, which is very hard to check in general
because the Halting Problem is undecidable. In this work, we proposed a technique to
unroll recursive programs in functional languages to create terminating versions of them.
We prove that our strategy is total and we also formalize term generation and run property-
based tests to build confidence that the semantics is preserved through the transformation.
This strategy can be used to compile general purpose functional languages to targets
such as the eBPF and smart contracts for blockchain networks.

Sala do meet é https://meet.google.com/jas-irma-qer

Banca: Prof. Dr. Leonardo Vieira - UFJF; Prof. Dr. Bruno Lopes - UFF; Prof. Dr. Rodrigo Ribeiro - UFOP.