Contents

• Contents
• Introduction
  • Models of Quantum Computation
    • The Mathematical Model of QC
    • The Machine Model of QC
    • The Gate Model of QC
    • Programming Languages
  • Principles of Quantum Computing
    • Qubits
    • Entanglement of States
    • Reversibility
    • Initialisation
    • Measuring States
  • Quantum Programming
    • Quantum Parallelism
    • Quantum Registers
    • Functions
    • Scratch Space Management
    • Conditional Operators
• QCL
  • Introducing QCL
    • Features
    • Example: Discrete Fourier Transform in QCL
    • The QCL Interpreter
    • Structure of a QCL Program
  • Classic Expressions and Variables
    • Constant Expressions
    • Operators
    • Functions
    • Symbols
  • Quantum Registers and Expressions
    • Registers and States
    • Quantum Variables
    • Quantum Expressions
  • Statements
    • Elementary Commands
    • Quantum Statements
    • Flow Control
  • Subroutines
    • Introduction
    • Functions
    • Procedures
    • General Operators
    • Pseudo-classic Operators
    • Quantum Functions
• Operators and Algorithms
  • Elementary Operators
    • General Unitary Operators
    • Pseudo-classic Operators
  • Composed Operators
    • Pseudo-classic Operators
    • Modular Arithmetic
    • Quantum Fourier Transform
  • Shor's Algorithm for Quantum Factorisation
    • Motivation
    • The Algorithm
    • QCL Implementation
• Bibliography
• List of Tables
• QCL Programs and Include Files
  • default.qcl
  • functions.qcl
  • qufunct.qcl
  • modarith.qcl
  • dft.qcl
  • shor.qcl
• QCL Charts
  • Syntax
    • Expressions
    • Statements
    • Definitions
  • Error Messages
    • Typecheck Errors
    • Evaluation Errors
    • Execution Errors
• About this document ...