Qualificação de mestrado do discente Maycon Amaro , dia 20/05, as 15:00Qualificação de mestrado do discente Maycon José Jorge Amaro, dia 20/05/2022, as 15:00. Título: Compiling General Recursive Functions into Finite Depth Pattern Matching Resumo: Programming languages became popular and diverse, and the usefulness of programmatically change the behavior of systems is attractive even for highly sensible systems, which impose restrictions on the acceptable programs. A very common restriction is that the program must terminate, which is very hard to check 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 proved that our strategy itself is guaranteed to terminate, as well as the output programs. We ran property-based tests to justify that the behavior is preserved, but more elaborate proof is in progress. Our strategy can be used to compile general purpose functional languages to restrictive targets such as the eBPF and smart contracts for blockchain networks. Orientador: Prof. Dr. Rodrigo Geraldo Ribeiro Data: 20/05/2022 (sexta-feira) |
Departamento de Computação | ICEB | Universidade Federal de Ouro Preto
Campus Universitário Morro do Cruzeiro | CEP 35400-000 | Ouro Preto - MG, Brasil
Telefone: +55 31 3559-1692 | decom@ufop.edu.br