dc.creator | Cardoso, Diogo João | |
dc.date.accessioned | 2019-04-26T12:26:42Z | |
dc.date.available | 2019-04-26T12:26:42Z | |
dc.date.issued | 2018-07-13 | |
dc.identifier.uri | http://repositorio.ufsm.br/handle/1/16315 | |
dc.description.abstract | The presence of reactive programming has been more common in current systems, one
of the highlights of its use is the management of input data streams. In the reactive programming
paradigm, a new value for the input stream can be seen as an event, which may
cause changes in the program, so it needs to be properly propagated. In this work is discussed
the creation of a reactive programming language implementing the object-oriented
paradigm (OO), allowing manipulation of classes and objects, where reactive expressions
and data are modeled as an extension for Featherweight Java (FJ). This language is formally
defined through the operation semantics, creating the opportunity to be implemented
in any language that provides closures. An interpreter for the formalized language is also
presented, that includes lexical, syntactic and semantic analysis, with its focus on the type
system to embed reactive programming concepts in a classical language, demonstrating
the interaction between the two reviewed paradigms. | eng |
dc.description.sponsorship | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES | por |
dc.language | por | por |
dc.publisher | Universidade Federal de Santa Maria | por |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Programação reativa | por |
dc.subject | Programação orientada a objetos | por |
dc.subject | Programação funcional | por |
dc.subject | Formalização de linguagens | por |
dc.subject | Interpretador | por |
dc.subject | Reactive programming | eng |
dc.subject | Object-oriented programming | eng |
dc.subject | Functional programming | eng |
dc.subject | Formal languages | eng |
dc.subject | Interpreter | eng |
dc.title | ASYNCRFJ: uma abordagem assíncrona à programação orientada a objeto reativa | por |
dc.title.alternative | ASYNCRFJ: an asynchronous approach to reactive object-oriented programming | eng |
dc.type | Dissertação | por |
dc.description.resumo | A utilização de programação reativa tem se tornado cada vez mais comum em sistemas
atuais, se destacando principalmente por conseguir manipular fluxos de dados de entrada.
No paradigma de programação reativa, um novo valor no fluxo de dado pode ser visto como
um evento, e um evento pode causar mudanças no programa, que devem ser devidamente
propagadas. Nesta dissertação é discutida a criação de uma linguagem de programação
reativa que utiliza-se do paradigma de orientação a objetos (OO), fornecendo a possibilidade
de manipular classes e objetos, onde expressões e dados reativos são modelados
como uma extensão da proposta Featherweight Java (FJ). Esta extensão é definida formalmente
através da apresentação de sua semântica operacional, podendo ser implementada
em qualquer linguagem de programação que forneça o mecanismo de closures. A formalização
desta linguagem permitiu a criação de um interpretador, que implementa as fases de
análise léxica, sintática e semântica, com foco especial no tratamento do sistema de tipos
para embutir conceitos de computação reativa em uma linguagem clássica, demonstrando
a interação entre os dois paradigmas de programação estudados. | por |
dc.contributor.advisor1 | Vizzotto, Juliana Kaizer | |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/4384914116033913 | por |
dc.contributor.referee1 | Piveta, Eduardo Kessler | |
dc.contributor.referee1Lattes | http://lattes.cnpq.br/8687196768910831 | por |
dc.contributor.referee2 | Du Bois, André Rauber | |
dc.contributor.referee2Lattes | http://lattes.cnpq.br/3277487290886063 | por |
dc.creator.Lattes | http://lattes.cnpq.br/7289414573814560 | por |
dc.publisher.country | Brasil | por |
dc.publisher.department | Ciência da Computação | por |
dc.publisher.initials | UFSM | por |
dc.publisher.program | Programa de Pós-Graduação em Ciência da Computação | por |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | por |
dc.publisher.unidade | Centro de Tecnologia | por |