Attribute-Influenced LR Parsing

Abstract

Methods are described which make it possible, when given an arbitrary attribute grammar (or AG),

1. to analyze the AG to determine which of its attributes may be computed during LR parsing;
2. to augment the parser with instructions and data structures to compute many attributes during parsing;
3. to use attribute values to assist the parsing process (e.g. to use symbol table information to decide whether P(X) is an array element or a function call).