Reduced Derivation Trees

A Reduced Derivation Tree (RDT) is generated by 'folding' edges in a standard derivation tree. We propose that RDTs are a suitable compiler intermediate form that may be used instead of ad hoc Abstract Syntax Trees. The basic folding operation is implemented using promotion annotations in our rdp parser generator and the documentation for rdp offers a user level view on how to implement language translators using RDT's. There is a draft technical report which brings together a body of theory concerning RDTs here.