Especificação formal e implementação de um protótipo para a linguagem paralog
Autor(a) principal: | |
---|---|
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 |