dc.contributor | Vizzotto, Juliana Kaizer | |
dc.contributor | http://lattes.cnpq.br/4384914116033913 | |
dc.contributor | Du Bois, André Rauber | |
dc.contributor | http://lattes.cnpq.br/3277487290886063 | |
dc.contributor | Piveta, Eduardo Kessler | |
dc.contributor | http://lattes.cnpq.br/8687196768910831 | |
dc.creator | Zancanaro, Eric Tomás | |
dc.date.accessioned | 2019-03-06T19:38:58Z | |
dc.date.accessioned | 2019-05-24T21:03:53Z | |
dc.date.available | 2019-03-06T19:38:58Z | |
dc.date.available | 2019-05-24T21:03:53Z | |
dc.date.created | 2019-03-06T19:38:58Z | |
dc.date.issued | 2018-07-13 | |
dc.identifier | http://repositorio.ufsm.br/handle/1/15845 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/2845491 | |
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. | |
dc.publisher | Universidade Federal de Santa Maria | |
dc.publisher | Brasil | |
dc.publisher | Ciência da Computação | |
dc.publisher | UFSM | |
dc.publisher | Programa de Pós-Graduação em Ciência da Computação | |
dc.publisher | Centro de Tecnologia | |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | |
dc.subject | Interpretador | |
dc.subject | Linguagens funcionais | |
dc.subject | Computação reversível | |
dc.subject | Computação quântica | |
dc.subject | Controle quântico | |
dc.subject | Interpreter | |
dc.subject | Functional languages | |
dc.subject | Reversible computing | |
dc.subject | Quantum computing | |
dc.subject | Quantum control | |
dc.title | Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico | |
dc.type | Tesis | |