 |  |  |  |  |  |  |  |  |  |  |  |
| |
| 1 Introduction | 3.2 The resulting mirror |
| 1.1 Overview | 4 Transformation of the mirror AST |
| 2 The DTD | 4.1 Transformation of the mirror AST |
| 2.1 The DTD | 5 Mirror usage |
| 2.2 Parsing the DTD | 5.1 Using the mirror |
| 3 Mirror synthesis | 6 Summary |
| 3.1 Making the mirror |