http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM18Sloane 2026-04-05T21:08:36Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M18Sloane&diff=1799&oldid=prev 2018-05-16T00:15:42Z

<p>Add Sloane M18 talk abstract</p> <p><b>New page</b></p><div><br /> == Formalisation of Attribute Grammar Evaluation ==<br /> <br /> Tony Sloane, Macquarie University<br /> <br /> This talk will give an overview of work with Scott Buckley to develop a core calculus and semantics for evaluation of higher-order, parameterised, reference attribute grammars.<br /> A key aspect of the semantics is the ability of a single context function to express the structure being attributed, intrinsic attribute values, attribute equations, parametrisation and caching of attribute values.<br /> Time permitting, I will show how the semantics can be used to reason about properties of realistic grammars from language implementations.</div>

Tony