Opti~l-time Imcrememtal Semntic Amalyais for Syntax-directed Editors
نویسنده
چکیده
Attribute grammars permit the specification of static semantics in an applicative and modular fashion, and thus are a good basis for syntaxdirected editors. Such editora represent progrsma as attributed trees, which are modified by operations such as subtree pruning and grafting. After each modification, a subset of attributes, AFFEGTED* requires new values. Membership in AFFEGTED is not known a priori; this paper presents an algorithm that i.denti,fies attributes in AFFECTED and computes their new values. The algorithm is time-optimal, its coet is proportional to the size of AFFECTED.
منابع مشابه
13 Volume Editors
The W3C SPARQL working group is defining the new SPARQL 1.1query language. The current working draft of SPARQL 1.1 focuses mainly on thedescription of the language. In this paper, we provide a formalization of the syntaxand semantics of the SPARQL 1.1 federation extension, an important fragment ofthe language that has not yet received much attention. Besides, we propose opti-<lb...
متن کاملGenerating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing
Diagram editors which are tailored to a specific diagram language typically support either syntax-directed editing or free-hand editing, i.e., the user is either restricted to a collection of predefined editing operations, or he is not restricted at all, but misses the convenience of such complex editing operations. This paper proposes a concept for incorporating both modes into one editor in o...
متن کاملTowards Domain-specific Model Editors with Automatic Model Completion
Integrated development environments such as Eclipse allow users to write programs quickly by presenting a set of recommendations for code completion. Similarly, word processing tools such as Microsoft Word present corrections for grammatical errors in sentences. Both of these existing structure editors use a set of constraints expressed in the form of a natural language grammar to restrict/corr...
متن کاملXML-based Specification of Diagram Editors
This paper describes a graphical specification tool for DiaGen, a diagram editor generator based on hypergraph grammars and hypergraph transformation. The specification tool greatly simplifies the process of specifying and generating diagram editors. It uses an XML-based specification language, and it is an extension of a generic XML editor which offers syntax-directed editing based on the DTD,...
متن کامل