A pure object-oriented embedding of attribute grammars

Citations of this article
Mendeley users who have this article in their library.


Attribute grammars are a powerful specification paradigm for many language processing tasks, particularly semantic analysis of programming languages. Recent attribute grammar systems use dynamic scheduling algorithms to evaluate attributes by need. In this paper, we show how to remove the need for a generator, by embedding a dynamic approach in a modern, object-oriented programming language to implement a small, lightweight attribute grammar library. The Kiama attribution library has similar features to current generators, including cached, uncached, circular, higher-order and parameterised attributes, and implements new techniques for dynamic extension and variation of attribute equations. We use the Scala programming language because of its combination of object-oriented and functional features, support for domain-specific notations and emphasis on scalability. Unlike generators with specialised notation, Kiama attribute grammars use standard Scala notations such as pattern-matching functions for equations and mixins for composition. A performance analysis shows that our approach is practical for realistic language processing. © 2010 Elsevier B.V. All rights reserved.




Sloane, A. M., Kats, L. C. L., & Visser, E. (2010). A pure object-oriented embedding of attribute grammars. In Electronic Notes in Theoretical Computer Science (Vol. 253, pp. 205–219). https://doi.org/10.1016/j.entcs.2010.08.043

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free