DPhil Thesis

Introduction
Quantum Computing: a Computer Scientist's Perspective
Quantum Compilation as a Graph Transformation System
Fast Pattern Matching
Parallel Rewriting
- Equality Saturation
A Framework for Scalable Graph Rewriting
Future Work and Conclusions