A typed approach for parsing expression grammar termination.

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorRibeiro, Rodrigo Geraldo-
Autor(es): dc.contributorReis, Leonardo Viera dos Santos-
Autor(es): dc.contributorRibeiro, Rodrigo Geraldo-
Autor(es): dc.contributorReis, Leonardo Viera dos Santos-
Autor(es): dc.contributorVasconcellos, Cristiano Damiani-
Autor(es): dc.contributorRoggia, Karina Girardi-
Autor(es): dc.contributorFeitosa, Samuel da Silva-
Autor(es): dc.contributorFortes, Reinaldo Silva-
Autor(es): dc.creatorCardoso, Elton Maximo-
Data de aceite: dc.date.accessioned2025-08-21T15:58:00Z-
Data de disponibilização: dc.date.available2025-08-21T15:58:00Z-
Data de envio: dc.date.issued2025-08-05-
Data de envio: dc.date.issued2024-
Fonte completa do material: dc.identifierhttps://www.repositorio.ufop.br/handle/123456789/20721-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1028786-
Descrição: dc.descriptionPrograma de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.-
Descrição: dc.descriptionParsing Expressions Grammars (PEGs) are recognition formalism proposed by Brian Ford to describe top-down recursive parsers. Unfortunately, to determine whether an arbitrary PEG will terminate when parsing an input is an undecidable problem. As termination is a desired property for parsing tools, Ford proposes a well-formedness test that guarantees every PEG that satisfies it, terminates on any input. The well- formedness test proposed by Ford is computed as a fixpoint to ensure that every expression of a PEG is well-formed. However, in our view, this notion could be more simple and predictable if it was expressed as a type system. The aim of this work is to provide an alternative semantic formulation for PEGs which is based on type theory. More specifically, we intend to show that the well-known type soundness property for our type system for PEGs is essentially a well-formedness property, since the type system is sound with respect to Ford’s original formulation.-
Descrição: dc.descriptionParsing Expression Grammars (PEGs) é um formalismo proposto por Brian Ford para descrever parsers descendentes recursivos. Infelizmente, determinar se uma PEG arbitrária irá terminar ao analisar uma entrada é um problema inde- cidível. Como a terminação é uma propriedade desejável para ferramentas de análise sintática, Ford propôs um teste de boa-formação que garante que toda PEG que o satisfaz termina para qualquer entrada. O teste de boa-formação proposto por Ford é calculado como um ponto fixo para assegurar que toda expressão de uma PEG seja bem-formada. No entanto, em nosso entendimento, essa noção poderia ser mais simples e previsível se fosse expressa como um sistema de tipos. O objetivo deste trabalho é fornecer uma formulação semântica alternativa para PEGs baseada em teoria de tipos. Mais especificamente, pretendemos mostrar que a conhecida pro- priedade de segurança de tipos (type soundness) para o nosso sistema de tipos para PEGs é, essencialmente, uma propriedade de boa-formação, uma vez que o sistema de tipos é correto em relação à formulação original de Ford.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languageen-
Direitos: dc.rightsaberto-
Direitos: dc.rightsAttribution-ShareAlike 3.0 United States-
Direitos: dc.rightshttp://creativecommons.org/licenses/by-sa/3.0/us/-
Direitos: dc.rightsAutorização concedida ao Repositório Institucional da UFOP pelo(a) autor(a) em 20/06/2025 com as seguintes condições: disponível sob Licença Creative Commons 4.0 que permite copiar, distribuir e transmitir o trabalho, desde que sejam citados o autor e o licenciante.-
Palavras-chave: dc.subjectComputação - sintaxe-
Palavras-chave: dc.subjectLinguagem de programação - computadores - sistema de tipos-
Palavras-chave: dc.subjectCompiladores - computadores-
Título: dc.titleA typed approach for parsing expression grammar termination.-
Título: dc.titleUma abordagem tipada para terminação de gramática de expressão de parsing.-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - UFOP

Não existem arquivos associados a este item.