Incremental attribute evaluation for multiple subtree replacements in structure-oriented environments

Abstract

In this paper, we discuss the development of a structure-oriented environment (that is, an interactive tool) by applying attribute grammars. First, we define a new model MR in which replacement of multiple subtrees of a given attributed tree T is allowed. Then, we introduce a new scheme (Simp(T), Copy(T), Comp(T)), where Simp(T), Copy(T) and Comp(T) are the simplified attributed tree, copy tree and compressed tree, respectively. Based on the scheme, we propose an efficient algorithm that updates the values of all inconsistent attribute instances in the tree T.