Declarative rewriting through circular nonterminal attributes. (December 2015)

• Record Type: Journal Article
• Authors: Söderberg, Emma; Hedin, Görel
• Is Part Of: Computer languages, systems & structures. Volume 44:Part A(2015)
• Page Start: 3
• Page End: 23
• Publication Date: 2015-12
• Subjects: Attribute grammars -- Reference attributes -- Higher-order -- Rewriting; Programming languages (Electronic computers) -- Periodicals; Computer networks -- Periodicals; Computer architecture -- Periodicals; Computer systems -- Periodicals; Langage de programmation; Réseau d'ordinateurs; Architecture d'ordinateur; Périodique électronique (Descripteur de forme); Ressource Internet (Descripteur de forme); 005.13
• DOI: 10.1016/j.cl.2015.08.008
• Languages: English
• ISSNs: 1477-8424

Abstract

Abstract: Reference attribute grammars (RAGs) provide a practical declarative means to implement programming language compilers and other tools. RAGs have previously been extended to support nonterminal attributes (also known as higher-order attributes), circular attributes, and context-dependent declarative rewrites of the abstract syntax tree. In this previous work, interdependencies between these extensions are not considered. In this article, we investigate how these extensions can interact, and still be well defined. We introduce a generalized evaluation algorithm that can handle grammars where circular attributes and rewrites are interdependent. To this end, we introduce circular nonterminal attributes, and show how RAG rewrites are equivalent to such attributes. Abstract : Highlights: A definition of circular NTAs, together with an evaluation algorithm. The introduction of the notion of computed children in an AST. Mappings between circular NTAs and rewrites, showing they are equivalent. An evaluation of the presented algorithm.