HP Labs Technical Reports
Zebu: A Tool for Specifying Reversible LALR(1) Parsers
Abstract: Zebu is part of a set of tools for the translation of formal languages. Zebu contains a LALR(1) parser generator like YACC does. Aside from generating a parser, Zebu will also generate the inverse of a parser (unparser). In contrast to YACC, the semantics is not given in terms of "routines" but declaratively in terms of typed feature structures. The ability to declaratively define a reversible grammar, together with a rewrite-rule mechanism (Zebu-RR) for transforming abstract syntax trees constitute the basic tools for specifying translators for formal languages.
Back to Index