Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Inverse Currying Transformation on Attribute Grammars

Reinhard Wilhelm

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-83-129
August 1983

http://www.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},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1983},
    Month = {Aug},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1983/6330.html
%F Wilhelm:CSD-83-129