A pure object-oriented embedding of attribute grammars

Anthony M. Sloane, Lennart C L Kats, Eelco Visser

Research output: Contribution to journalArticlepeer-review

14 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)205-219
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Volume253
Issue number7
DOIs
Publication statusPublished - 17 Sep 2010

Fingerprint

Dive into the research topics of 'A pure object-oriented embedding of attribute grammars'. Together they form a unique fingerprint.

Cite this