Here we explore the Quantum Sequential Random Access Machine model with 4 main quantum programming languages: QCL, QPL, Quipper, and Scaffold.

1. Programming the Quantum
Future
By
Dendi Suhubdy

7. Von Neumann Architecture

8. HOW ABOUT QUANTUM
PROGRAMMIN? HOW’D WE DO IT ON A
QUANTUM COMPUTER?

11. The Quantum Computer Blueprint

12. Execution Flow of a Quantum Program

13. Classical + Quantum CoProcessor
Instruction Sets

14. Quantum Programming Languages
• qGCL: quantum extension of Dijkstra’s Guarded Command
• QCL: high-level, architecture independent, with a syntax derived from classical
procedural languages like C or Pascal [2]
• QPL: functional in nature, with high-level features (loops,recursive procedures,
structured data types) [3]
• Scaffold: Quantum programming language (Princeton, UCS, UCSB) [4]
• Quipper (Dalhousie) [5]
[1] J. W. Sanders and P. Zuliani, Quantum programming, Mathematics of Program
Construction, 2000.
[2] B. Ömer, Structural quantum programming, Ph.D. Thesis, Technical University of
Vienna, 2003.
[3] P. Selinger, Towards a quantum programming language, Mathematical Structures in
Computer Science, 14(2004)
[4] A. J. Abhari, et al., Scaffold: Quantum Programming Language, Technical Report,
Department of Computer Science, Princeton University, 2012.
[5] A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger and B. Valiron, Quipper: A
Scalable Quantum Programming Language, PLDI, 2013.

15. DEMO

16. THANK YOU