Uma linguagem de programação quântica orientada a objetos baseada no featherweight java
![Thumbnail](/bitstream/handle/1/12028/DIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.jpg?sequence=5&isAllowed=y)
View/ Open
Metadata
Show full item recordAbstract
Com a aproximação do fim da Lei de Moore, onde não será possível melhorar a capacidade
dos processadores baseados em silício, a computação quântica aparece como uma boa
escolha para prover uma nova era da computação. A computação quântica pode ser entendida
como a arte de transformar informação codificada no estado físico quântico. Esta codificação
se dá através de bits quânticos (qubits), que podem estar em estados de superposição ou emaranhados,
permitindo explorar uma propriedade conhecida como paralelismo quântico. Nesta
dissertação é discutida a criação de uma linguagem de programação quântica que utiliza-se
do paradigma da orientação a objetos (OO), fornecendo a possibilidade de manipular classes
e objetos, onde os dados e os efeitos quânticos são manipulados através de uma abordagem
monádica, sendo modelada como uma extensão da proposta Featherweight Java (FJ). Esta extensão
é definida formalmente através da apresentação de sua semântica operacional, a qual é
passível de implementação 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 quântica em uma linguagem clássica.
Vários exemplos são fornecidos no decorrer do texto, mostrando formas de manipular a camada
monádica para realizar transformações em informações quânticas.
Collections
The following license files are associated with this item: