Attribute Redefinitions For Syntax Macros
Stc
Abstract
In many applications of translations it is desired to return to the
original input, for instance to report errors. More generally, there is
need for
a possibility to change the default behaviour of the translation. In this
talk, a technique is
presented to redefine attributes that are specified in the attribute
grammar of an
abstract data structure at run-time. For the implementation an
aspect-oriented
approach to attibute grammars is required. The obtained attribute
redefinition
technique is combined with a syntax
macro supporting compiler, which translates new concrete syntax to
existing abstract syntax.
--
DaveClarke - 27 Jun 2003
