Transformation of Applicative Specifications into Imperative ...

CHAPTER 1. INTRODUCTION
1.7 Contents of the Appendices
The appendices are structured as follows:
Appendix A describes how to use the transformer and how to extend it.
Appendix B describes the contents of the enclosed CD-ROM.
Appendix C contains the RSL specification of the transformer.
Appendix D contains RSL specifications of the abstract syntax tree of
RSL and the transformer, both written within a subset of RSL, named
RSL1.
Appendix E contains the ANTLR grammar file which is used to generate
the lexer and parser.
Appendix F contains the handwritten Java source code of the transformer.
Appendix G contains the an overview of all tests performed on the transformer.
6