Generating displays for specifications using attribute grammars

Abstract

The authors report their experiences using attribute grammars to generate pretty printers automatically for a formal specification language. This technology enables such tools to be created with a relatively small amount of effort. The resulting tools are easy to modify and are fast enough for practical use. The extension of this technique to other notations is discussed.<>