39 Parsers transform plain text into some abstract structure that can be analyzed by

    39 Parsers transform plain text into some abstract structure that can be analyzed by

    40 computers for further processing.  One might think that parsers have been

    40 computers for further processing.  One might think that parsers have been

    41 studied to death, and after \emph{yacc} and \emph{lex} no new results can be

    41 studied to death, and after \emph{yacc} and \emph{lex} no new results can be

    42 obtained in this area.  However recent developments and novel approaches make

    42 obtained in this area.  However recent developments and novel approaches make

    43 it increasingly clear, that this is not true anymore~\cite{Might11}. And

    43 it increasingly clear, that this is not true anymore~\cite{Might11}. And

    45 Standard abandons a well-defined grammar specification, in favour of a bespoke

    45 Standard abandons a well-defined grammar specification, in favour of a bespoke

    46 parser given as pseudo code.

    46 parser given as pseudo code.

    47 

    47 

    48 This work targets parsers from a certification point of view. Increasingly,

    48 This work targets parsers from a certification point of view. Increasingly,

    49 parsers are part of certified compilers, like

    49 parsers are part of certified compilers, like