This paper presents a new strict, purely functional implementation of
attribute grammars. Incremental evaluation is obtained via standard
function memoization. Our new implementation of attribute grammars
increases the incremental behaviour of the evaluators by both reducing
the memoization overhead and increasing their potential
We present also an attribute grammar transformation, which increases the
incremental performance of the attribute evaluators after a change that
propagates its effects to all parts of the syntax tree.

These techniques have been implemented in a purely functional attribute
grammar system and the first experimental results are presented.