14 research outputs found
An Algebra of Pure Quantum Programming
We develop a sound and complete equational theory for the functional quantum
programming language QML. The soundness and completeness of the theory are with
respect to the previously-developed denotational semantics of QML. The
completeness proof also gives rise to a normalisation algorithm following the
normalisation by evaluation approach. The current work focuses on the pure
fragment of QML omitting measurements.Comment: To appear in ENTCS, 3rd International Workshop on Quantum Programming
Languages, 2005. 21 Page
Mecânica Quântica: da FĂsica para a Computação
O interesse desta pesquisa Ă© apresentar uma visĂŁo de alto nĂvel a respeito da computação quântica para que os leitores possam ter contato com esta recente área. AlĂ©m disso pode servir de apoio a pesquisadores iniciantes que objetivam buscar referĂŞncias, no âmbito de iniciar seus estudos nesta área. Deste modo sĂŁo apresentadas brevemente as origens, principais conceitos e caracterĂsticas referentes a computação quântica, sempre que possĂvel fazendo analogia a computação clássica, bem como a atual realidade do hardware quântico