YakYak swMATH ID: 7540 Software Authors: Klarlund, Nils; Damgaard, Niels; Schwartzbach, Michael I. Description: YakYak: Parsing with logical side constraints Programming language syntax is often described by means of a context-free grammar, which is restricted by constraints programmed into the action code associated with productions. Without such code, the grammar would explode in size if it were to describe the same language.par We present the tool YakYak, which extends Yacc with first-order logic for specifying constraints that are regular tree languages. Concise formulas about the parse tree replace explicit programming, and they are turned into canonical attribute grammars through tree automata calculations. YakYak is implemented as a preprocessor for Yacc, in which the transitions of the calculated tree automata are merged into the action code. We provide both practical experience and theoretical evidence that the YakYak approach results in fast and concisely specified parsers. Homepage: http://www.brics.dk/mona/papers/yakyak/abstract.html Keywords: context-free grammar; YakYak; Yacc Related Software: YACC; Bison; MONA Cited in: 2 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year YakYak: Parsing with logical side constraints. Zbl 0996.68076Klarlund, Nils; Damgaard, Niels; Schwartzbach, Michael I. 2000 Cited by 5 Authors 1 Damgaard, Niels 1 Janoušek, Jan 1 Klarlund, Nils 1 Melichar, Bořivoj 1 Schwartzbach, Michael I. Cited in 1 Serial 1 Acta Informatica Cited in 1 Field 2 Computer science (68-XX) Citations by Year