miniblog.

← Back to all posts
Reachability and error diagnosis in LR(1) parsers https://gallium.inria.fr/~fpottier/publis/fpottier-reachability-cc2016.pdf —interesting discussion of syntax error messages, used in compcert