Graph transformation systems on minIR | DPhil Thesis

DPhil Thesis

Introduction
Quantum Computing: a Computer Scientist's Perspective
Quantum Compilation as a Graph Transformation System
Pattern Matching in large Graph Transformation Systems
Fully and Confluently Persistent Graph Rewriting
Future Work and Conclusions
Appendix
- Prefix trees
- A Platform for Scalable Graph Rewriting
Unrolled thesis

Graph transformation systems on minIR

←Return to chapter

3.5. Graph transformation systems on minIR

←Return to chapter