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

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: Ferreira, Simone Nasser Matos
Orientador(a): Musicante, Martin Alejandro
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Linguagem de programação (Computadores) - Semântica
PARALOG (Linguagem de programação de computador)
Ciência da Computação
Link de acesso: 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
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaMusicante, Martin AlejandroFerreira, Simone Nasser Matos2024-10-21T18:13:56Z2024-10-21T18:13:56Z2001https://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áticaResumo: O formalismo de semântica de transição define o significado dos programas de uma linguagem por meio de regras indutivas. Esta característica faz com que ele possa ser usado tanto no projeto quanto na implementação de protótipos de linguagens de programação. Essas regras podem ser implementadas no meta-ambiente ASF+SDF, o qual permite o desenvolvimento e geração automática de sistemas interativos que manipulam programas, especificações ou outros textos escritos em uma linguagem formal, gerando dessa forma um interpretador para a linguagem. Com base em tais pressupostos, desenvolvemos uma especificação formal para a linguagem ParaLog, utilizando semântica de transição. O protótipo de um ambiente operacional ParaLog, implementado no ASF+SDF, funciona como um interpretador para programas paraconsistentes capaz de raciocinar na presença de uma base de conhecimento que contenha inconsistências.Abstract: Transition semantics is useful for the definition and construction of interpreters, as it allows the syntactic and semantic definition of a programming language by means of inductive rules. These rules can be implemented in the meta-environment ASF+SDF, which makes possible the development and automatic generation of interactive systems that manipulate programs, specifications or other texts written in a formal language, thus generating an interpreter for the language. On the basis of such assumptions, we develop a formal specification for the ParaLog language using transition semantics. The prototype of a ParaLog operational environment, implemented in ASF+SDF, is an interpreter for paraconsistent programs which is capable of reasoning in the presence of a knowledge base containing inconsistencies.134 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-10-21 15:13:56.324open accessoai:acervodigital.ufpr.br:1884/24721Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-10-21T18:13:56Repositó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-10-21T18:13:56Z
dc.date.available.fl_str_mv 2024-10-21T18:13:56Z
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 informacaodigital@ufpr.br
_version_ 1847526191304540160

Registros relacionados