Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Parsing plays an important role in static program analysis: during this step a structural representation of code is created upon which further analysis is performed. Parser generator tools, being provided with syntax specification, automate parser development. Language documentation often acts as such specification. Documentation usually takes form of ambiguous grammar in Extended Backus-Naur Form which most parser generators fail to process. Automatic grammar transformation generally leads to parsing performance decrease. Some approaches support EBNF grammars natively, but they all fail to handle ambiguous grammars. On the other hand, Generalized LL parsing algorithm admits arbitrary context-free grammars and achieves good performance, but cannot handle EBNF grammars. The main contribution of this paper is a modification of GLL algorithm which can process grammars in a form which is closely related to EBNF (Extended Context-Free Grammar). We also show that the modification improves parsing performance as compared to grammar transformation-based approach.
| Original language | English |
|---|---|
| Title of host publication | Tools and Methods of Program Analysis - 4th International Conference, TMPA 2017, Revised Selected Papers |
| Editors | Victor Zakharov, Vladimir Itsykson, Andre Scedrov |
| Publisher | Springer Nature |
| Pages | 24-37 |
| Number of pages | 14 |
| ISBN (Print) | 9783319717333 |
| DOIs | |
| State | Published - 1 Jan 2018 |
| Event | 4th International Conference on Tools and Methods of Program Analysis, TMPA 2017 - Moscow, Russian Federation Duration: 3 Mar 2017 → 4 Mar 2017 |
| Name | Communications in Computer and Information Science |
|---|---|
| Volume | 779 |
| ISSN (Print) | 1865-0929 |
| Conference | 4th International Conference on Tools and Methods of Program Analysis, TMPA 2017 |
|---|---|
| Country/Territory | Russian Federation |
| City | Moscow |
| Period | 3/03/17 → 4/03/17 |
ID: 48535002