Defining semantics with attribute grammars
Thomas Bryan Rushworth · cIRcle (University of British Columbia) · 2010
This thesis examines the semantic definition of a programming language by a form of attribute grammar for ease of understanding. The attributes are expressed in a simple macro language and when evaluated produce code for an abstract machine. Part of an actual definition is looked at and found to be too obscure to be useful. The reasons for the obscurity are identified and suggestions are made for eliminating them.