Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abdulla, P., Atig, M., Rezine, O., Stenman, J.: Budget-bounded model-checking pushdown systems. Form. Methods Syst. Des. 45(2), 273–301 (2014)
2. Lecture Notes in Computer Science;MF Atig,2008
3. Lecture Notes in Computer Science;R Axelsson,2008
4. Lecture Notes in Computer Science;HJS Basten,2010
5. Basten, H.J.S.: Ambiguity detection for programming language grammars. Ph.D. thesis, Universiteit van Amsterdam (2011)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Ambiguity Detection in Layout-Sensitive Grammars;Proceedings of the ACM on Programming Languages;2023-10-16