"Bison is a general-purpose parser generator that converts an annotated context-free grammar
into an LALR(1) or GLR parser for that grammar. Once you are proficient with Biso...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...