Relaxed Parsing of Regular Approximations of String-Embedded Languages
We present a technique for syntax analysis of a regular set of input strings. This problem is relevant for the analysis of string-embedded languages when a host program generates clauses of embedded language at run time. Our technique is based on a generalization of RNGLR algorithm, which, inherently, allows us to construct a finite representation of parse forest for regularly approximated set of input strings. This representation can be further utilized for semantic analysis and transformations in the context of reengineering, code maintenance, program understanding etc. The approach in question implements relaxed parsing: non-recognized strings in approximation set are ignored with no error detection.
KeywordsString-embedded languages String analysis Parsing Parser generator RNGLR
We thank Dmitri Boulytchev for the scientific guidance and the feedback on this work.
- 1.ISO. ISO/IEC 9075: 1992. Information Technology – Database Languages – SQL (1992)Google Scholar
- 2.Houglan, D., Tavistock, A.: Core JSP, p. 416. Upper Saddle River, Prentice Hall PTR (2000)Google Scholar
- 4.Rekers, J.: Parser generation for interactive environments. Ph.D. thesis. University of Amsterdam, 174p (1992)Google Scholar
- 7.Christensen, A.S., Møller, A., Schwartzbach, M.I.: Precise analysis of string expressions. In: Proceedings of the 10th International Conference on Static Analysis, pp. 1–18 (2003)Google Scholar
- 9.Annamaa, A., Breslav, A., Vene, V.: Using abstract lexical analysis and parsing to detect errors in string-embedded DSL statements. In: Proceedings of the 22nd Nordic Workshop on Programming Theory, pp. 20–22 (2010)Google Scholar
- 13.Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th Symposium on Principles of Programming Languages, pp. 238–252 (1977)Google Scholar
- 14.Tomita, M.: An efficient all-paths parsing algorithm for natural languages. Carnegie-Mellon University, Department of Computer Science (1984)Google Scholar
- 15.Grigorev, S., Verbitskaia, E., Ivanov, A., Polubelova, M., Mavchun, E.: String-embedded language support in integrated development environment. In: Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia, pp. 21:1–21:11 (2014)Google Scholar