Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico
Fecha
2018-07-13Metadatos
Mostrar el registro completo del ítemResumen
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.
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia: