1
Introduction
3
Mirror synthesis
4.1
Transformation of the mirror AST
1.1
Overview
3.1
Making the mirror
5
Mirror usage
2
The DTD
3.2
The
bike
validation predicate
5.1
Using the mirror
2.1
The DTD
3.3
The resulting mirror
2.2
Parsing the DTD
4
Transformation of the mirror AST
Generated: 8. Januar 2003, 22:21:25