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

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorMusicante, Martin Alejandro-
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática-
Autor(es): dc.creatorFerreira, Simone Nasser Matos-
Data de aceite: dc.date.accessioned2025-09-01T11:58:46Z-
Data de disponibilização: dc.date.available2025-09-01T11:58:46Z-
Data de envio: dc.date.issued2024-10-20-
Data de envio: dc.date.issued2024-10-20-
Data de envio: dc.date.issued2001-
Fonte completa do material: dc.identifierhttps://hdl.handle.net/1884/24721-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/24721-
Descrição: dc.descriptionOrientador: Martin A. Musicante-
Descrição: dc.descriptionDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática-
Descrição: dc.descriptionResumo: 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.descriptionAbstract: 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.format134 f. ; 30cm.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Relação: dc.relationDisponível em formato digital-
Palavras-chave: dc.subjectLinguagem de programação (Computadores) - Semântica-
Palavras-chave: dc.subjectPARALOG (Linguagem de programação de computador)-
Palavras-chave: dc.subjectCiência da Computação-
Título: dc.titleEspecificação formal e implementação de um protótipo para a linguagem ParaLog-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.