DIALECT
A high-level language for LALR grammars. Part of Software Refinery from Reasoning Systems.