dc.creator | Zancanaro, Eric Tomás | |
dc.date.accessioned | 2019-03-06T19:38:58Z | |
dc.date.available | 2019-03-06T19:38:58Z | |
dc.date.issued | 2018-07-13 | |
dc.identifier.uri | http://repositorio.ufsm.br/handle/1/15845 | |
dc.description.abstract | Aiming to overcome the theoretical limits imposed by the energetic cost of the classic
computational model, new computing paradigms have been formalized. While reversible
computing aims to reconcile the reversibility of the physical models with the irreversible
way of modelling computations, quantum computing looks to harness the microscopical
properties of matter to increase performance. The theoretical development is coupled with
the formalization of programming languages that embed those properties independently
of their physical implementation. This decoupling allows the simulation of programs
belonging to these paradigms by the creation of interpreters. This dissertation presents the
implementation of an interpreter and typechecker for a reversible language with quantum
control. The project was implemented in the Haskell functional language, allowing for
the typechecking and inefficient simulation of quantum sistems, being capable of both
forwards and backwards execution. The text also presents the adaptation and execution
of algorithms that showcase the embedding of quantum control in the functional language
chosen as basis of this work. | eng |
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 | Interpretador | por |
dc.subject | Linguagens funcionais | por |
dc.subject | Computação reversível | por |
dc.subject | Computação quântica | por |
dc.subject | Controle quântico | por |
dc.subject | Interpreter | eng |
dc.subject | Functional languages | eng |
dc.subject | Reversible computing | eng |
dc.subject | Quantum computing | eng |
dc.subject | Quantum control | eng |
dc.title | Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico | por |
dc.title.alternative | An interpreter and typechecker for a reversible language with symmetrical pattern-matching and quantum control | eng |
dc.type | Dissertação | por |
dc.description.resumo | Com o objetivo de superar os limites teóricos impostos pelo custo energético do
modelo de computação clássico, novos paradigmas de computação foram formalizados.
Enquanto a computação reversível busca conciliar a reversibilidade dos modelos físicos
com a irreversibilidade computacional, a computação quântica visa a obtenção de
desempenho através da manipulação de propriedades microscópicas da matéria. O
desenvolvimento teórico é acompanhado da formalização de linguagens que codifiquem
essas propriedades de forma independente da implementação física. Essa independência
permite que programas nesses paradigmas sejam simulados através da construção de
interpretadores. Esta dissertação apresenta a implementação de um interpretador e
typechecker para uma linguagem de programação reversível com controle quântico. O
projeto implementado na linguagem Haskell possibilita a verificação de tipos e a simulação
ineficiente de sistemas quânticos, sendo capaz de executar algoritmos na direção usual e
inversa. O texto apresenta também a adaptação e execução de algoritmos que comprovam
a codificação do controle quântico na semântica da linguagem funcional utilizada como
base para este trabalho. | por |
dc.contributor.advisor1 | Vizzotto, Juliana Kaizer | |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/4384914116033913 | por |
dc.contributor.referee1 | Du Bois, André Rauber | |
dc.contributor.referee1Lattes | http://lattes.cnpq.br/3277487290886063 | por |
dc.contributor.referee2 | Piveta, Eduardo Kessler | |
dc.contributor.referee2Lattes | http://lattes.cnpq.br/8687196768910831 | por |
dc.creator.Lattes | http://lattes.cnpq.br/9088592112487028 | 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 |