Solving Difficult LR Parsing Conflicts by Postponing Them
Computer Science and Information Systems, Tome 8 (2011) no. 2.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Though yacc-like LR parser generators provide ways to solve shift-reduce conflicts using token precedences, no mechanisms are provided for the resolution of difficult shift-reduce or reduce-reduce conflicts. To solve this kind of conflicts the language designer has to modify the grammar. All the solutions for dealing with these difficult conflicts branch at each alternative, leading to the exploration of the whole search tree. These strategies differ in the way the tree is explored: GLR, Backtracking LR, Backtracking LR with priorities, etc. This paper explores an entirely different path: to extend the yacc conflict resolution sublanguage with new constructs allowing the programmers to explicit the way the conflict must be solved. These extensions supply ways to resolve any kind of conflicts, including those that can not be solved using static precedences. The method makes also feasible the parsing of grammars whose ambiguity must be solved in terms of the semantic context. Besides, it brings to LR-parsing a common LL-parsing feature: the advantage of providing full control over the specific trees the user wants to build.
Keywords: parsing, lexical analysis, syntactic analysis.
@article{CSIS_2011_8_2_a13,
     author = {C. Rodriguez-Leon and L. Garcia-Forte},
     title = {Solving {Difficult} {LR} {Parsing} {Conflicts} by {Postponing} {Them}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2011},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a13/}
}
TY  - JOUR
AU  - C. Rodriguez-Leon
AU  - L. Garcia-Forte
TI  - Solving Difficult LR Parsing Conflicts by Postponing Them
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a13/
ID  - CSIS_2011_8_2_a13
ER  - 
%0 Journal Article
%A C. Rodriguez-Leon
%A L. Garcia-Forte
%T Solving Difficult LR Parsing Conflicts by Postponing Them
%J Computer Science and Information Systems
%D 2011
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a13/
%F CSIS_2011_8_2_a13
C. Rodriguez-Leon; L. Garcia-Forte. Solving Difficult LR Parsing Conflicts by Postponing Them. Computer Science and Information Systems, Tome 8 (2011) no. 2. http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a13/