On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M18Sloane
From WG 2.11
Jump to navigationJump to search
Formalisation of Attribute Grammar Evaluation
Tony Sloane, Macquarie University
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. 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. Time permitting, I will show how the semantics can be used to reason about properties of realistic grammars from language implementations.
