Uma linguagem de programação quântica orientada a objetos baseada no featherweight java
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações do UFSM |
Texto Completo: | http://repositorio.ufsm.br/handle/1/12028 |
Resumo: | With the approaching end of Moore’s Law, where will not be possible to improve the capacity of silicon based processors, the quantum computing appear to be a good choice to provide a new era of computation. Quantum computing can be understood as the art of transform information encoded in the state of a quantum physical system. This encoding is through the quantum bits (qubits), which can be on superposition or entangled states, enabling to explore the property called quantum parallelism. In this work is discussed the creation of a quantum programming language implementing the object-oriented paradigm (OO), allowing manipulation of classes and objects, where the quantum effects are handled through a monadic approach, extending the Featherweight Java (FJ) proposal. This language is formally defined through the operational semantics, which allow the implementation in any language that provides closures. That language formalization enables us to create an interpreter, implementing the steps of lexical, syntactic and semantic analysis, focusing in the type system to embedded quantum computing concepts in a classical language. Several examples are provided in the text, showing ways to handle the monadic layer in order to perform transformations in quantum information. |
id |
UFSM_d75d971cbbb5e96000868a3b74c97191 |
---|---|
oai_identifier_str |
oai:repositorio.ufsm.br:1/12028 |
network_acronym_str |
UFSM |
network_name_str |
Biblioteca Digital de Teses e Dissertações do UFSM |
repository_id_str |
|
spelling |
2016-03-04T12:38:18Z2016-03-04T12:38:18Zhttp://repositorio.ufsm.br/handle/1/12028With the approaching end of Moore’s Law, where will not be possible to improve the capacity of silicon based processors, the quantum computing appear to be a good choice to provide a new era of computation. Quantum computing can be understood as the art of transform information encoded in the state of a quantum physical system. This encoding is through the quantum bits (qubits), which can be on superposition or entangled states, enabling to explore the property called quantum parallelism. In this work is discussed the creation of a quantum programming language implementing the object-oriented paradigm (OO), allowing manipulation of classes and objects, where the quantum effects are handled through a monadic approach, extending the Featherweight Java (FJ) proposal. This language is formally defined through the operational semantics, which allow the implementation in any language that provides closures. That language formalization enables us to create an interpreter, implementing the steps of lexical, syntactic and semantic analysis, focusing in the type system to embedded quantum computing concepts in a classical language. Several examples are provided in the text, showing ways to handle the monadic layer in order to perform transformations in quantum information.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.Fundação de Amparo à Pesquisa do Estado do Rio Grande do SulporUniversidade Federal de Santa MariaCentro de TecnologiaPrograma de Pós-Graduação em InformáticaUFSMBrasilCiência da ComputaçãoAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessComputação quânticaMônada quânticaFeatherweight javaQuantum computingQuantum monadCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOUma linguagem de programação quântica orientada a objetos baseada no featherweight javaA quantum object-oriented language based on featherweight javainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisVizzotto, Juliana Kaizerhttp://lattes.cnpq.br/4384914116033913Piveta, Eduardo Kesslerhttp://lattes.cnpq.br/8687196768910831Du Bois, Andre Rauberhttp://lattes.cnpq.br/3277487290886063http://lattes.cnpq.br/1075888485122711Feitosa, Samuel da Silva10030000000760005cfea7a-2f9a-458f-8d0a-d0ebfed22202ed161d25-a668-4c8f-9868-1f26d2f29bf415b6c103-19c6-4ace-8789-f26318c8023f78f72438-a21d-49d3-ba92-27a12f99762breponame:Biblioteca Digital de Teses e Dissertações do UFSMinstname:Universidade Federal de Santa Maria (UFSM)instacron:UFSMCC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8804http://repositorio.ufsm.br/bitstream/1/12028/2/license_rdfc1efe8e24d7281448e873be30ea326ffMD52ORIGINALDIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdfDIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdfDissertação de Mestradoapplication/pdf512318http://repositorio.ufsm.br/bitstream/1/12028/1/DIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf77bf326958d947e62a4813f4585076f6MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81956http://repositorio.ufsm.br/bitstream/1/12028/3/license.txt2f0571ecee68693bd5cd3f17c1e075dfMD53TEXTDIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.txtDIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.txtExtracted texttext/plain189266http://repositorio.ufsm.br/bitstream/1/12028/4/DIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.txteabb3e312b99f420bb920c29f7ebbb1eMD54THUMBNAILDIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.jpgDIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.jpgIM Thumbnailimage/jpeg4734http://repositorio.ufsm.br/bitstream/1/12028/5/DIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.jpgd1e7d69eed34e03e8c9cebac2c7b319cMD551/120282017-11-13 10:51:11.774oai:repositorio.ufsm.br:1/12028TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkNvbSBhIGFwcmVzZW50YcOnw6NvIGRlc3RhIGxpY2Vuw6dhLCB2b2PDqiAobyBhdXRvciAoZXMpIG91IG8gdGl0dWxhciBkb3MgZGlyZWl0b3MgZGUgYXV0b3IpIGNvbmNlZGUgw6AgVW5pdmVyc2lkYWRlCkZlZGVyYWwgZGUgU2FudGEgTWFyaWEgKFVGU00pIG8gZGlyZWl0byBuw6NvLWV4Y2x1c2l2byBkZSByZXByb2R1emlyLCAgdHJhZHV6aXIgKGNvbmZvcm1lIGRlZmluaWRvIGFiYWl4byksIGUvb3UKZGlzdHJpYnVpciBhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gKGluY2x1aW5kbyBvIHJlc3VtbykgcG9yIHRvZG8gbyBtdW5kbyBubyBmb3JtYXRvIGltcHJlc3NvIGUgZWxldHLDtG5pY28gZQplbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8gb3MgZm9ybWF0b3Mgw6F1ZGlvIG91IHbDrWRlby4KClZvY8OqIGNvbmNvcmRhIHF1ZSBhIFVGU00gcG9kZSwgc2VtIGFsdGVyYXIgbyBjb250ZcO6ZG8sIHRyYW5zcG9yIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbwpwYXJhIHF1YWxxdWVyIG1laW8gb3UgZm9ybWF0byBwYXJhIGZpbnMgZGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIHRhbWLDqW0gY29uY29yZGEgcXVlIGEgVUZTTSBwb2RlIG1hbnRlciBtYWlzIGRlIHVtYSBjw7NwaWEgYSBzdWEgdGVzZSBvdQpkaXNzZXJ0YcOnw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIGRlY2xhcmEgcXVlIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyDDqSBvcmlnaW5hbCBlIHF1ZSB2b2PDqiB0ZW0gbyBwb2RlciBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcwpuZXN0YSBsaWNlbsOnYS4gVm9jw6ogdGFtYsOpbSBkZWNsYXJhIHF1ZSBvIGRlcMOzc2l0byBkYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIG7Do28sIHF1ZSBzZWphIGRlIHNldQpjb25oZWNpbWVudG8sIGluZnJpbmdlIGRpcmVpdG9zIGF1dG9yYWlzIGRlIG5pbmd1w6ltLgoKQ2FzbyBhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gY29udGVuaGEgbWF0ZXJpYWwgcXVlIHZvY8OqIG7Do28gcG9zc3VpIGEgdGl0dWxhcmlkYWRlIGRvcyBkaXJlaXRvcyBhdXRvcmFpcywgdm9jw6oKZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBwYXJhIGNvbmNlZGVyIMOgIFVGU00Kb3MgZGlyZWl0b3MgYXByZXNlbnRhZG9zIG5lc3RhIGxpY2Vuw6dhLCBlIHF1ZSBlc3NlIG1hdGVyaWFsIGRlIHByb3ByaWVkYWRlIGRlIHRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlCmlkZW50aWZpY2FkbyBlIHJlY29uaGVjaWRvIG5vIHRleHRvIG91IG5vIGNvbnRlw7pkbyBkYSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gb3JhIGRlcG9zaXRhZGEuCgpDQVNPIEEgVEVTRSBPVSBESVNTRVJUQcOHw4NPIE9SQSBERVBPU0lUQURBIFRFTkhBIFNJRE8gUkVTVUxUQURPIERFIFVNIFBBVFJPQ8ONTklPIE9VCkFQT0lPIERFIFVNQSBBR8OKTkNJQSBERSBGT01FTlRPIE9VIE9VVFJPIE9SR0FOSVNNTyBRVUUgTsODTyBTRUpBIEEgVUZTTQosIFZPQ8OKIERFQ0xBUkEgUVVFIFJFU1BFSVRPVSBUT0RPUyBFIFFVQUlTUVVFUiBESVJFSVRPUyBERSBSRVZJU8ODTyBDT01PClRBTULDiU0gQVMgREVNQUlTIE9CUklHQcOHw5VFUyBFWElHSURBUyBQT1IgQ09OVFJBVE8gT1UgQUNPUkRPLgoKQSBVRlNNIHNlIGNvbXByb21ldGUgYSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8gc2V1IG5vbWUgKHMpIG91IG8ocykgbm9tZShzKSBkbyhzKQpkZXRlbnRvcihlcykgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIGRhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbywgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBhbMOpbSBkYXF1ZWxhcwpjb25jZWRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgoKBiblioteca Digital de Teses e Dissertaçõeshttps://repositorio.ufsm.br/ONGhttps://repositorio.ufsm.br/oai/requestatendimento.sib@ufsm.br||tedebc@gmail.comopendoar:2017-11-13T12:51:11Biblioteca Digital de Teses e Dissertações do UFSM - Universidade Federal de Santa Maria (UFSM)false |
dc.title.por.fl_str_mv |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java |
dc.title.alternative.eng.fl_str_mv |
A quantum object-oriented language based on featherweight java |
title |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java |
spellingShingle |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java Feitosa, Samuel da Silva Computação quântica Mônada quântica Featherweight java Quantum computing Quantum monad CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
title_short |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java |
title_full |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java |
title_fullStr |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java |
title_full_unstemmed |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java |
title_sort |
Uma linguagem de programação quântica orientada a objetos baseada no featherweight java |
author |
Feitosa, Samuel da Silva |
author_facet |
Feitosa, Samuel da Silva |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Vizzotto, Juliana Kaizer |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/4384914116033913 |
dc.contributor.referee1.fl_str_mv |
Piveta, Eduardo Kessler |
dc.contributor.referee1Lattes.fl_str_mv |
http://lattes.cnpq.br/8687196768910831 |
dc.contributor.referee2.fl_str_mv |
Du Bois, Andre Rauber |
dc.contributor.referee2Lattes.fl_str_mv |
http://lattes.cnpq.br/3277487290886063 |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/1075888485122711 |
dc.contributor.author.fl_str_mv |
Feitosa, Samuel da Silva |
contributor_str_mv |
Vizzotto, Juliana Kaizer Piveta, Eduardo Kessler Du Bois, Andre Rauber |
dc.subject.por.fl_str_mv |
Computação quântica Mônada quântica Featherweight java |
topic |
Computação quântica Mônada quântica Featherweight java Quantum computing Quantum monad CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
dc.subject.eng.fl_str_mv |
Quantum computing Quantum monad |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
description |
With the approaching end of Moore’s Law, where will not be possible to improve the capacity of silicon based processors, the quantum computing appear to be a good choice to provide a new era of computation. Quantum computing can be understood as the art of transform information encoded in the state of a quantum physical system. This encoding is through the quantum bits (qubits), which can be on superposition or entangled states, enabling to explore the property called quantum parallelism. In this work is discussed the creation of a quantum programming language implementing the object-oriented paradigm (OO), allowing manipulation of classes and objects, where the quantum effects are handled through a monadic approach, extending the Featherweight Java (FJ) proposal. This language is formally defined through the operational semantics, which allow the implementation in any language that provides closures. That language formalization enables us to create an interpreter, implementing the steps of lexical, syntactic and semantic analysis, focusing in the type system to embedded quantum computing concepts in a classical language. Several examples are provided in the text, showing ways to handle the monadic layer in order to perform transformations in quantum information. |
publishDate |
2016 |
dc.date.accessioned.fl_str_mv |
2016-03-04T12:38:18Z |
dc.date.available.fl_str_mv |
2016-03-04T12:38:18Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://repositorio.ufsm.br/handle/1/12028 |
url |
http://repositorio.ufsm.br/handle/1/12028 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.cnpq.fl_str_mv |
100300000007 |
dc.relation.confidence.fl_str_mv |
600 |
dc.relation.authority.fl_str_mv |
05cfea7a-2f9a-458f-8d0a-d0ebfed22202 ed161d25-a668-4c8f-9868-1f26d2f29bf4 15b6c103-19c6-4ace-8789-f26318c8023f 78f72438-a21d-49d3-ba92-27a12f99762b |
dc.rights.driver.fl_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Santa Maria Centro de Tecnologia |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Informática |
dc.publisher.initials.fl_str_mv |
UFSM |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Ciência da Computação |
publisher.none.fl_str_mv |
Universidade Federal de Santa Maria Centro de Tecnologia |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações do UFSM instname:Universidade Federal de Santa Maria (UFSM) instacron:UFSM |
instname_str |
Universidade Federal de Santa Maria (UFSM) |
instacron_str |
UFSM |
institution |
UFSM |
reponame_str |
Biblioteca Digital de Teses e Dissertações do UFSM |
collection |
Biblioteca Digital de Teses e Dissertações do UFSM |
bitstream.url.fl_str_mv |
http://repositorio.ufsm.br/bitstream/1/12028/2/license_rdf http://repositorio.ufsm.br/bitstream/1/12028/1/DIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf http://repositorio.ufsm.br/bitstream/1/12028/3/license.txt http://repositorio.ufsm.br/bitstream/1/12028/4/DIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.txt http://repositorio.ufsm.br/bitstream/1/12028/5/DIS_PPGINFORMATICA_2016_FEITOSA_SAMUEL.pdf.jpg |
bitstream.checksum.fl_str_mv |
c1efe8e24d7281448e873be30ea326ff 77bf326958d947e62a4813f4585076f6 2f0571ecee68693bd5cd3f17c1e075df eabb3e312b99f420bb920c29f7ebbb1e d1e7d69eed34e03e8c9cebac2c7b319c |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações do UFSM - Universidade Federal de Santa Maria (UFSM) |
repository.mail.fl_str_mv |
atendimento.sib@ufsm.br||tedebc@gmail.com |
_version_ |
1791086124346638336 |