Inverse Currying Transformation on Attribute Grammars
Reinhard Wilhelm
EECS Department, University of California, Berkeley
Technical Report No. UCB/CSD-83-129
, 1983
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1983/CSD-83-129.pdf
Inverse currying transformation of an attribute grammar moves a context condition to places in the grammar where the violation of the condition can be detected as soon as the semantic information used in the condition is computed. It thereby takes into account the evaluation order chosen for the attribute grammar. Inverse currying transformations can be used to enhance context sensitive parsing using predicates on attributes, to eliminate sources of backtrack when parsing according to ambiguous grammars, and to facilitate semantics-supported error correction.
BibTeX citation:
@techreport{Wilhelm:CSD-83-129, Author= {Wilhelm, Reinhard}, Title= {Inverse Currying Transformation on Attribute Grammars}, Year= {1983}, Month= {Aug}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1983/6330.html}, Number= {UCB/CSD-83-129}, Abstract= {Inverse currying transformation of an attribute grammar moves a context condition to places in the grammar where the violation of the condition can be detected as soon as the semantic information used in the condition is computed. It thereby takes into account the evaluation order chosen for the attribute grammar. Inverse currying transformations can be used to enhance context sensitive parsing using predicates on attributes, to eliminate sources of backtrack when parsing according to ambiguous grammars, and to facilitate semantics-supported error correction.}, }
EndNote citation:
%0 Report %A Wilhelm, Reinhard %T Inverse Currying Transformation on Attribute Grammars %I EECS Department, University of California, Berkeley %D 1983 %@ UCB/CSD-83-129 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1983/6330.html %F Wilhelm:CSD-83-129