Frédéric Bour & Philipp Haselwarter: Error-tolerant parsing with Menhir

Datum objave: 26. 10. 2015
Seminar za temelje matematike in teoretično računalništvo
Torek, 27. 10. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19

Abstract: In programming language terminology, parsing refers to the transformation of source code to a syntax tree structure. LR parser generators like yacc allow to write declarative grammars for syntactic analysis with little effort. However, they suffer from cryptic error messages. We present a number of tools for the Menhir parser generator that allow to deal with erroneous input.