• Informações do Trabalho

Titulo Formalização em Redex de uma Abordagem Baseada em Tipo Para Terminação de PEG Subtítulo Autor REGINA SARAH MONFERRARI AMORIM DE PAULA Orientador LEONARDO VIEIRA DOS SANTOS REIS Resumo O presente trabalho lida com o problema de terminação de PEGs usando uma abordagem baseada em sistema de tipos. Para alcançar esse objetivo, foi formalizado um sistema de inferência de tipos em PLT Redex usando semântica de reescrita. Palavras-Chave PEG, parsing, sistema de tipos, inferência, Redex.