Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Musicante, Martin Alejandro | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Ferreira, Simone Nasser Matos | - |
Data de aceite: dc.date.accessioned | 2025-09-01T11:58:46Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T11:58:46Z | - |
Data de envio: dc.date.issued | 2024-10-20 | - |
Data de envio: dc.date.issued | 2024-10-20 | - |
Data de envio: dc.date.issued | 2001 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/24721 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/24721 | - |
Descrição: dc.description | Orientador: Martin A. Musicante | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática | - |
Descrição: dc.description | Resumo: 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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | 134 f. ; 30cm. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Linguagem de programação (Computadores) - Semântica | - |
Palavras-chave: dc.subject | PARALOG (Linguagem de programação de computador) | - |
Palavras-chave: dc.subject | Ciência da Computação | - |
Título: dc.title | Especificação formal e implementação de um protótipo para a linguagem ParaLog | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: