Set of rewrite rules | DPhil Thesis

DPhil Thesis

DPhil Thesis
- Introduction
- Quantum Computing: a Computer Scientist's Perspective
- Challenges in Compiling Hybrid Programs
- Graph Rewriting-based Superoptimisation
  - Structure
- Fast Pattern Matching
- Parallel Rewriting
- Conclusion

Set of rewrite rules