dc.contributor.advisor | Musicante, Martin Alejandro | pt_BR |
dc.contributor.other | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | pt_BR |
dc.creator | Ferreira, Simone Nasser Matos | pt_BR |
dc.date.accessioned | 2024-03-21T12:08:37Z | |
dc.date.available | 2024-03-21T12:08:37Z | |
dc.date.issued | 2001 | pt_BR |
dc.identifier.uri | https://hdl.handle.net/1884/24721 | |
dc.description | Orientador: Martin A. Musicante | pt_BR |
dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática | pt_BR |
dc.format.extent | 134 f. ; 30cm. | pt_BR |
dc.format.mimetype | application/pdf | pt_BR |
dc.language | Português | pt_BR |
dc.relation | Disponível em formato digital | pt_BR |
dc.subject | Linguagem de programação (Computadores) - Semântica | pt_BR |
dc.subject | PARALOG (Linguagem de programação de computador) | pt_BR |
dc.subject | Ciência da Computação | pt_BR |
dc.title | Especificação formal e implementação de um protótipo para a linguagem paralog | pt_BR |
dc.type | Dissertação | pt_BR |