-
YakYak
- Referenced in 2 articles
[sw07540]
- YakYak: Parsing with logical side constraints Programming language syntax is often described by means ... same language.par We present the tool YakYak, which extends Yacc with first-order logic ... canonical attribute grammars through tree automata calculations. YakYak is implemented as a preprocessor for Yacc ... practical experience and theoretical evidence that the YakYak approach results in fast and concisely specified...
-
MONA
- Referenced in 134 articles
[sw06170]
- MONA implementation secrets. The MONA tool provides an...
-
YACC
- Referenced in 67 articles
[sw26931]
- Yacc (Yet Another Compiler-Compiler) is a computer...