Especificação formal e implementação de um protótipo para a linguagem paralog

Detalhes bibliográficos
Autor(a) principal: Ferreira, Simone Nasser Matos
Data de Publicação: 2001
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/24721
Resumo: Orientador: Martin A. Musicante
id UFPR_bcb64afeef1a1a67e79949b69846c395
oai_identifier_str oai:acervodigital.ufpr.br:1884/24721
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaMusicante, Martin AlejandroFerreira, Simone Nasser Matos2024-03-21T12:08:37Z2024-03-21T12:08:37Z2001https://hdl.handle.net/1884/24721Orientador: Martin A. MusicanteDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática134 f. ; 30cm.application/pdfDisponível em formato digitalLinguagem de programação (Computadores) - SemânticaPARALOG (Linguagem de programação de computador)Ciência da ComputaçãoEspecificação formal e implementação de um protótipo para a linguagem paraloginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - FERREIRA, SIMONE NASSER MATOS.pdfapplication/pdf3050380https://acervodigital.ufpr.br/bitstream/1884/24721/1/D%20-%20FERREIRA%2c%20SIMONE%20NASSER%20MATOS.pdfe0d32b99bc7917f56cefcf262f088a74MD51open accessTEXTD - FERREIRA, SIMONE NASSER MATOS.pdf.txtExtracted Texttext/plain195496https://acervodigital.ufpr.br/bitstream/1884/24721/2/D%20-%20FERREIRA%2c%20SIMONE%20NASSER%20MATOS.pdf.txt17f27bd116523d0ba0faab49097d8980MD52open accessTHUMBNAILD - FERREIRA, SIMONE NASSER MATOS.pdf.jpgGenerated Thumbnailimage/jpeg1198https://acervodigital.ufpr.br/bitstream/1884/24721/3/D%20-%20FERREIRA%2c%20SIMONE%20NASSER%20MATOS.pdf.jpga151e9b64e48a7bea983d36522b17484MD53open access1884/247212024-03-21 09:08:37.703open accessoai:acervodigital.ufpr.br:1884/24721Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-03-21T12:08:37Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Especificação formal e implementação de um protótipo para a linguagem paralog
title Especificação formal e implementação de um protótipo para a linguagem paralog
spellingShingle Especificação formal e implementação de um protótipo para a linguagem paralog
Ferreira, Simone Nasser Matos
Linguagem de programação (Computadores) - Semântica
PARALOG (Linguagem de programação de computador)
Ciência da Computação
title_short Especificação formal e implementação de um protótipo para a linguagem paralog
title_full Especificação formal e implementação de um protótipo para a linguagem paralog
title_fullStr Especificação formal e implementação de um protótipo para a linguagem paralog
title_full_unstemmed Especificação formal e implementação de um protótipo para a linguagem paralog
title_sort Especificação formal e implementação de um protótipo para a linguagem paralog
author Ferreira, Simone Nasser Matos
author_facet Ferreira, Simone Nasser Matos
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Musicante, Martin Alejandro
dc.contributor.author.fl_str_mv Ferreira, Simone Nasser Matos
contributor_str_mv Musicante, Martin Alejandro
dc.subject.por.fl_str_mv Linguagem de programação (Computadores) - Semântica
PARALOG (Linguagem de programação de computador)
Ciência da Computação
topic Linguagem de programação (Computadores) - Semântica
PARALOG (Linguagem de programação de computador)
Ciência da Computação
description Orientador: Martin A. Musicante
publishDate 2001
dc.date.issued.fl_str_mv 2001
dc.date.accessioned.fl_str_mv 2024-03-21T12:08:37Z
dc.date.available.fl_str_mv 2024-03-21T12:08:37Z
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.uri.fl_str_mv https://hdl.handle.net/1884/24721
url https://hdl.handle.net/1884/24721
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 134 f. ; 30cm.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/24721/1/D%20-%20FERREIRA%2c%20SIMONE%20NASSER%20MATOS.pdf
https://acervodigital.ufpr.br/bitstream/1884/24721/2/D%20-%20FERREIRA%2c%20SIMONE%20NASSER%20MATOS.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24721/3/D%20-%20FERREIRA%2c%20SIMONE%20NASSER%20MATOS.pdf.jpg
bitstream.checksum.fl_str_mv e0d32b99bc7917f56cefcf262f088a74
17f27bd116523d0ba0faab49097d8980
a151e9b64e48a7bea983d36522b17484
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1813898761242411008