Higher Order Attribute Grammars, Lecture Notes of the International Summer Schoolon Attribute Grammars, Applications and Systems

摘要

The basic definitions for higher order attribute grammars are presented andcompared with attribute coupled grammars, extended affix grammars and functional programming languages. The description of multipass compilers and user interface management systems in this way is indicated. It is shown that, especially in the case of incremental evaluation, the conventional execution model has to be generalized. Such a model, based on function caching, hash consing and combinator construction is discussed. This model encompasses many of the more ad hoc optimizations found in standard implementations of normal attribute grammars.