Higher-order Abstract Syntax - Relation To First-order Abstract Syntax

Relation To First-order Abstract Syntax

An abstract syntax tree is abstract because it is a mathematical object that has certain structure by its very nature. For instance, in first-order abstract syntax (FOAS) trees, as commonly used in compilers, the tree structure implies the subexpression relation, meaning that no parentheses are required to disambiguate programs (as they are in the concrete syntax). HOAS exposes additional structure: the relationship between variables and their binding sites. In FOAS representations, a variable is typically represented with an identifier, with the relation between binding site and use being indicated by using the same identifier. With HOAS, there is no name for the variable; each use of the variable refers directly to the binding site.

There are a number of reasons why this technique is useful. First, it makes the binding structure of a program explicit: just as there is no need to explain operator precedence in a FOAS representation, there is no need to have the rules of binding and scope at hand to interpret a HOAS representation. Second, programs that are alpha-equivalent (differing only in the names of bound variables) have identical representations in HOAS, which can make equivalence checking more efficient.

Read more about this topic:  Higher-order Abstract Syntax

Famous quotes containing the words relation to, relation and/or abstract:

    You must realize that I was suffering from love and I knew him as intimately as I knew my own image in a mirror. In other words, I knew him only in relation to myself.
    Angela Carter (1940–1992)

    The problem of the twentieth century is the problem of the color-line—the relation of the darker to the lighter races of men in Asia and Africa, in America and the islands of the sea. It was a phase of this problem that caused the Civil War.
    —W.E.B. (William Edward Burghardt)

    Alice grown lazy, mammoth but not fat,
    Declines upon her lost and twilight age;
    Above in the dozing leaves the grinning cat
    Quivers forever with his abstract rage....
    Allen Tate (1899–1979)