| dc.contributor | CORNÉLIO, Márcio Lopes | |
| dc.contributor | http://lattes.cnpq.br/6082038345144017 | |
| dc.contributor | http://lattes.cnpq.br/3776948564582273 | |
| dc.creator | ROSA, Clayton Wilhelm da | |
| dc.date | 2019-11-28T22:37:16Z | |
| dc.date | 2019-11-28T22:37:16Z | |
| dc.date | 2019-08-28 | |
| dc.date.accessioned | 2022-10-06T17:56:34Z | |
| dc.date.available | 2022-10-06T17:56:34Z | |
| dc.identifier | ROSA, Clayton Wilhelm da. A Combinator based, certifiable, parsing framework. 2019. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2019. | |
| dc.identifier | https://repositorio.ufpe.br/handle/123456789/35363 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/3988593 | |
| dc.description | Parsers are ubiquitous software, much more common than one would normally take notice. Parsing spreads from simple command line functionalities to natural languages pro- cessing, to language composition. Parsing is also somewhat regarded as a solved problem in computation. However, that does not translate into reality, especially when consider- ing their implementations, which can be complex and difficult to maintain. In the last decades, multiple tools have surged aiming to improve the process of parsing, from the now well established parser generators to recent interactive parsing frameworks, which try to reduce the knowledge requirements for the specification of parsers. Although these tools have their own merits, very little effort was put into their standardization and formal reliability. We try to address these issues by implementing a reliable and flexible parsing framework that is composed of a small and extensible library of parser combinators, and a reliable, easily verifiable, parser generator based on the standardized meta-syntax of the extended Backus-Naur notation.We also provide valuable insight into the implementation of the General LL parsing technique in a purely functional setup. | |
| dc.description | FACEPE | |
| dc.description | Parsers são softwares muito mais comuns do que normalmente nos damos conta. Parsers estão presentes nas mais diversas áreas, no processamento de linhas de comando, no processamento de linguagens naturais, ou ainda na composição de linguagens. O processo de parsing é considerado por muitos um problema já solucionado, porém isto não é inteiramente verdade, especialmente quando falamos das implementações de parsers que podem ser complexas e de difícil manutenção. Nas últimas décadas, muitas ferramentas que buscam facilitar o processo de parsing surgiram. Ferramentas como geradores de parsers, ou mais recentemente, frameworks interativos, que tentam reduzir a quantidade de conhecimento necessária para a especificação de parsers. Ainda que estas ferramentas tenham seus méritos, estas também apresentam algumas limitações. Estas ferramentas apresentam pouca ou quase nenhuma padronização entre si, além de não oferecerem garantias de confiabilidade. Nós buscamos mitigar estes problemas com a implementação de um framework para parsing, confiável e flexível. O framework é composto de uma biblioteca extensível de combinadores, e de um gerador de parsers que é facilmente verificável, e que se baseia na meta-sintaxe padrão da notação estendida de Backus-Naur. Além disso, nós apresentamos informações valiosas sobre a implementação do algoritmo GLL, sob uma perspectiva puramente funcional. | |
| dc.format | application/pdf | |
| dc.language | eng | |
| dc.publisher | Universidade Federal de Pernambuco | |
| dc.publisher | UFPE | |
| dc.publisher | Brasil | |
| dc.publisher | Programa de Pos Graduacao em Ciencia da Computacao | |
| dc.rights | openAccess | |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Brazil | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/br/ | |
| dc.subject | Linguagem de programação | |
| dc.subject | Engenharia de software | |
| dc.subject | Software confiável | |
| dc.title | A Combinator based, certifiable, parsing framework | |
| dc.type | masterThesis | |
