• Informações do Trabalho

Titulo Parsing Expression Grammar with Syntactic Attributes Subtítulo Uma Formalização em PLT Redex Autor GABRIEL PIRES FERREIRA Orientador LEONARDO VIEIRA DOS SANTOS REIS Resumo Neste trabalho, descrevemos uma formalização de PEGwSA, formalismo que descreve analisadores sintáticos top-down. PEGwSA é uma extensão de PEG que acrescenta atributos e operadores para manipulá-los. Além disso, PEGwSA é a base para APEG, formalismo que introduz mecanismos que permitem a manipulação dinâmica das regras que compõem a gramática. Especificamos em PLT Redex um sistema de tipos e semânticas operacionais small-step e big-step para PEGwSA. Reunidas, essas especificações constituem a formalização de PEGwSA apresentada neste trabalho. PLT Redex é uma linguagem de domínio específico projetada para formalizar modelos semânticos que oferece uma vasta gama de ferramentas para desenvolver e aplicar testes a esses modelos. Com o auxílio dessas ferramentas, testamos a formalização de PEGwSA, processo que levou à descoberta de erros e inconsistências, principalmente em relação ao sistema de tipos. Em virtude dos erros e inconsistências descobertos, desenvolvemos um sistema de tipos para PEGwSA que agrega ao sistema de tipos para APEG apresentado por Cardoso et al. (2019) tendo em vista sua capacidade de capturar erros que seu predecessor ignora. Palavras-Chave PEG, PEGwSA, parsing expression grammar, atributo, semântica, sistema de tipos.