http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM7Sloane 2026-04-05T22:43:48Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M7Sloane&diff=243&oldid=prev 2011-12-12T10:06:27Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> &lt;h1&gt;A Pure Object-Oriented Embedding of Attribute Grammars&lt;/h1&gt;<br /> <br /> &lt;h3&gt;Anthony Sloane&lt;/h3&gt;<br /> Macquarie University<br /> <br /> (joint work with Lennart Kats and Eelco Visser, TU Delft)<br /> <br /> Attribute grammars are a powerful specification paradigm for many<br /> language processing tasks, particularly semantic analysis of<br /> programming languages. Recent attribute grammar systems use dynamic<br /> scheduling algorithms to evaluate attributes by need. In this talk,<br /> we show how to remove the need for a generator, by embedding a dynamic<br /> approach in a modern, object-oriented programming language to<br /> implement a small, lightweight attribute grammar library. The Kiama<br /> attribution library has similar features to current generators,<br /> including cached, uncached, circular, higher-order and parameterised<br /> attributes, and implements new techniques for dynamic extension and<br /> variation of attribute equations. We use the Scala programming<br /> language because of its combination of object-oriented and functional<br /> features, support for domain-specific notations and emphasis on<br /> scalability. Unlike generators with specialised notation, Kiama<br /> attribute grammars use standard Scala notations such as<br /> pattern-matching functions for equations. A small performance analysis<br /> shows that our approach is practical for realistic language processing.<br /> <br /> * [[Media:sloane-wg09.pdf | sloane-wg09.pdf ]]: Slides<br /> <br /> ==File Attachments== <br /> <br /> *[[Media:sloane-wg09.pdf | sloane-wg09.pdf]]</div>

Admin