High-Level Methods for Quantum Computation and Information

Authors:
Samson Abramsky
Affiliations:
Oxford University Computing Laboratory
Venue:
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Year:
2004

Citing 0
Cited 6

Quantum programming languages: survey and bibliography

Mathematical Structures in Computer Science
On Quantum Vector Addition Systems

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Programming with Quantum Communication

Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum predicative programming

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
On Quantum Vector Addition Systems

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
From parametricity to conservation laws, via Noether's theorem

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Quantum information and computation is concerned with the use of quantum-mechanical systems to carry out computational and information-processing tasks. In the few short years that this approach has been studied, a number of remarkable concepts and results have emerged, most notably: 驴 A couple of spectacular algorithms - Shor's polynomial-time algorithm for prime factorization and Grover's sub-linear search algorithm. 驴 A number of information protocols, exemplified by quantum teleportation, which exploit quantum entanglement in an essential fashion.