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: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Add Sloane M18 talk abstract |
(No difference)
|
Latest revision as of 01:15, 16 May 2018
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.
