A backtracking LR algorithm for parsing ambiguous context-dependent languages

Parsing context-dependent computer languages requires an ability to maintain and query data structures while parsing for the purpose of influencing the parse. Parsing ambiguous computer languages requires an ability to generate a parser for arbitrary context-free grammars. In both cases we have tools for generating parsers from a grammar. However, languages that have both of these properties simultaneously are much more difficult to parse. Consequently, we have fewer techniques. One approach to parsing such languages is to endow traditional LR systems with backtracking. This is a step towards a working solution, however there are number of problems. In this work we present two enhancements to a basic backtracking LR approach which enable the parsing of computer languages that are both context-dependent and ambiguous. Using our system we have produced a fast parser for C++ that is composed of strictly a scanner, a name lookup stage and parser generated from a grammar augmented with sem...

• Type: Conference
• Year: 2006
• Where: CASCON
• Authors: Adrian D. Thurston, James R. Cordy
• Keywords: Arbitrary Context-free Grammars, CASCON 2006, CASCON 2007, Parser, Parsing