Higher-order Abstract Syntax

In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.

Read more about Higher-order Abstract Syntax:  Relation To First-order Abstract Syntax, Implementation, Use in Logical Frameworks

Famous quotes containing the word abstract:

    “For although memories, of a season, for example,
    Melt into a single snapshot, one cannot guard, treasure
    That stalled moment. It too is flowing, fleeting;
    It is a picture of flowing, scenery, though living, mortal,
    Over which an abstract action is laid out in blunt,
    Harsh strokes.”
    —John Ashbery (b. 1927)