OPTRAN is a batch-oriented system for the generation of compilers that support program transformations. Programs are represented by attributed abstract syntax trees (AAST). The transformation of AAST's is a powerful method to describe problems in compiler writing such as machine-independent optimisations, language-based editors, and source-to-source translations.The specification language OPTRAN allows for a static and declarative description of tree transformations. Given such a specification, the system will automatically generate the transformation system, mainly consisting of an attribute evaluator and reevaluator, as well as a tree analyzer and transformer.

No abstract