Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
Automated Ambiguity Detection in Layout-Sensitive Grammars
Proceedings of the ACM on Programming Languages
Grammar-Based String Refinement Types
International Conference on Software Engineering - Companion (ICSE-Companion)