Certified derivative-based parsing of regular expressions.

Detalhes bibliográficos
Autor(a) principal: Lopes, Raul Felipe Pimenta
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFOP
Texto Completo: http://www.repositorio.ufop.br/handle/123456789/10509
Resumo: Programa 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.
id UFOP_9832d6701ccc322e71ffe875b8f88437
oai_identifier_str oai:localhost:123456789/10509
network_acronym_str UFOP
network_name_str Repositório Institucional da UFOP
repository_id_str 3233
spelling Lopes, Raul Felipe PimentaFigueiredo, Carlos Camarão deMalaquias, José RomildoReis, Leonardo Vieira dos SantosRibeiro, Rodrigo GeraldoRibeiro, Rodrigo Geraldo2018-11-19T14:35:00Z2018-11-19T14:35:00Z2018LOPES, Raul Felipe Pimenta. Certified derivative-based parsing of regular expressions. 2018. 50 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2018.http://www.repositorio.ufop.br/handle/123456789/10509Programa 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.Parsing is pervasive in computing and fundamental in several software artifacts. This dissertation reports the rst step in our ultimate goal: a formally veri ed toolset for parsing regular and context free languages based on derivatives. Speci cally, we describe the formalization of Brzozowski and Antimirov derivative based algorithms for regular expression parsing, in the dependently typed language Agda. The formalization produces a proof that either an input string matches a given regular expression or that no matching exists. A tool for regular expression based search in the style of the well known GNU Grep has been developed using the certi ed algorithms. Practical experiments conducted using this tool are reported.Autorização concedida ao Repositório Institucional da UFOP pelo(a) autor(a) em 01/11/2018 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. Não permite o uso para fins comerciais.info:eu-repo/semantics/openAccessLinguagens de domínio específicoAlgoritmos de computadorCertified derivative-based parsing of regular expressions.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFOPinstname:Universidade Federal de Ouro Preto (UFOP)instacron:UFOPLICENSElicense.txtlicense.txttext/plain; charset=utf-8924http://www.repositorio.ufop.br/bitstream/123456789/10509/5/license.txt62604f8d955274beb56c80ce1ee5dcaeMD55CC-LICENSElicense_urllicense_urltext/plain; charset=utf-849http://www.repositorio.ufop.br/bitstream/123456789/10509/2/license_url924993ce0b3ba389f79f32a1b2735415MD52license_textlicense_texttext/html; charset=utf-80http://www.repositorio.ufop.br/bitstream/123456789/10509/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-80http://www.repositorio.ufop.br/bitstream/123456789/10509/4/license_rdfd41d8cd98f00b204e9800998ecf8427eMD54ORIGINALDISSERTAÇÃO_CertifiedDerivative-based.pdfDISSERTAÇÃO_CertifiedDerivative-based.pdfapplication/pdf1161081http://www.repositorio.ufop.br/bitstream/123456789/10509/1/DISSERTA%c3%87%c3%83O_CertifiedDerivative-based.pdf6da5658b402fad3bb0cc47eb4d3e0978MD51123456789/105092018-11-19 09:35:00.957oai:localhost:123456789/10509RGVjbGFyYcOnw6NvIGRlIGRpc3RyaWJ1acOnw6NvIG7Do28tZXhjbHVzaXZhCgpPIHJlZmVyaWRvIGF1dG9yOgoKYSlEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBzZXUgdHJhYmFsaG8gb3JpZ2luYWwgZSBxdWUgZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2UsIHRhbnRvIHF1YW50byBsaGUgw6kgcG9zc8OtdmVsIHNhYmVyLCBvcyBkaXJlaXRvcyBkZSBxdWFscXVlciBwZXNzb2Egb3UgZW50aWRhZGUuCgpiKVNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCBuw6NvIGRldMOpbSBvcyBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGF1dG9yaXphw6fDo28gZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIHBhcmEgY29uY2VkZXIgw6AgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGUgT3VybyBQcmV0by9VRk9QIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EgZSBxdWUgZXNzZSBtYXRlcmlhbCwgY3Vqb3MgZGlyZWl0b3Mgc8OjbyBkZSB0ZXJjZWlyb3MsIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvcyBkbyBkb2N1bWVudG8gZW50cmVndWUuCgpjKVNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIMOpIGJhc2VhZG8gZW0gdHJhYmFsaG8gZmluYW5jaWFkbyBvdSBhcG9pYWRvIHBvciBvdXRyYSBpbnN0aXR1acOnw6NvIHF1ZSBuw6NvIGEgVUZPUCwgZGVjbGFyYSBxdWUgY3VtcHJpdSBxdWFpc3F1ZXIgb2JyaWdhw6fDtWVzIGV4aWdpZGFzIHBlbG8gY29udHJhdG8gb3UgYWNvcmRvLgoKRepositório InstitucionalPUBhttp://www.repositorio.ufop.br/oai/requestrepositorio@ufop.edu.bropendoar:32332018-11-19T14:35Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)false
dc.title.pt_BR.fl_str_mv Certified derivative-based parsing of regular expressions.
title Certified derivative-based parsing of regular expressions.
spellingShingle Certified derivative-based parsing of regular expressions.
Lopes, Raul Felipe Pimenta
Linguagens de domínio específico
Algoritmos de computador
title_short Certified derivative-based parsing of regular expressions.
title_full Certified derivative-based parsing of regular expressions.
title_fullStr Certified derivative-based parsing of regular expressions.
title_full_unstemmed Certified derivative-based parsing of regular expressions.
title_sort Certified derivative-based parsing of regular expressions.
author Lopes, Raul Felipe Pimenta
author_facet Lopes, Raul Felipe Pimenta
author_role author
dc.contributor.referee.pt_BR.fl_str_mv Figueiredo, Carlos Camarão de
Malaquias, José Romildo
Reis, Leonardo Vieira dos Santos
Ribeiro, Rodrigo Geraldo
dc.contributor.author.fl_str_mv Lopes, Raul Felipe Pimenta
dc.contributor.advisor1.fl_str_mv Ribeiro, Rodrigo Geraldo
contributor_str_mv Ribeiro, Rodrigo Geraldo
dc.subject.por.fl_str_mv Linguagens de domínio específico
Algoritmos de computador
topic Linguagens de domínio específico
Algoritmos de computador
description Programa 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.
publishDate 2018
dc.date.accessioned.fl_str_mv 2018-11-19T14:35:00Z
dc.date.available.fl_str_mv 2018-11-19T14:35:00Z
dc.date.issued.fl_str_mv 2018
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv LOPES, Raul Felipe Pimenta. Certified derivative-based parsing of regular expressions. 2018. 50 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2018.
dc.identifier.uri.fl_str_mv http://www.repositorio.ufop.br/handle/123456789/10509
identifier_str_mv LOPES, Raul Felipe Pimenta. Certified derivative-based parsing of regular expressions. 2018. 50 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2018.
url http://www.repositorio.ufop.br/handle/123456789/10509
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFOP
instname:Universidade Federal de Ouro Preto (UFOP)
instacron:UFOP
instname_str Universidade Federal de Ouro Preto (UFOP)
instacron_str UFOP
institution UFOP
reponame_str Repositório Institucional da UFOP
collection Repositório Institucional da UFOP
bitstream.url.fl_str_mv http://www.repositorio.ufop.br/bitstream/123456789/10509/5/license.txt
http://www.repositorio.ufop.br/bitstream/123456789/10509/2/license_url
http://www.repositorio.ufop.br/bitstream/123456789/10509/3/license_text
http://www.repositorio.ufop.br/bitstream/123456789/10509/4/license_rdf
http://www.repositorio.ufop.br/bitstream/123456789/10509/1/DISSERTA%c3%87%c3%83O_CertifiedDerivative-based.pdf
bitstream.checksum.fl_str_mv 62604f8d955274beb56c80ce1ee5dcae
924993ce0b3ba389f79f32a1b2735415
d41d8cd98f00b204e9800998ecf8427e
d41d8cd98f00b204e9800998ecf8427e
6da5658b402fad3bb0cc47eb4d3e0978
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)
repository.mail.fl_str_mv repositorio@ufop.edu.br
_version_ 1801685724168192000

Registros relacionados