Results 1  10
of
17
Incremental contextdependent analysis for languagebased editors
 ACM Transactions on Programming Languages and Systems
, 1983
"... Knowledge of a programming language's grammar allows languagebased editors to enforce syntactic correctness at all times during development by restricting editing operations to legitimate modifications ot ~ the program's contextfree derivation tree; however, not all language constraints can be enf ..."
Abstract

Cited by 81 (10 self)
 Add to MetaCart
Knowledge of a programming language's grammar allows languagebased editors to enforce syntactic correctness at all times during development by restricting editing operations to legitimate modifications ot ~ the program's contextfree derivation tree; however, not all language constraints can be enforced in this way because not all features can be described by the contextfree formalism. Attribute grammars permit contextdependent language features to be expressed in a modular, declarative fashion and thus are a good basis for specifying languagebased editors. Such editors represent programs as attributed trees, Which are modified by operations such as subtree pruning and grafting. Incremental analysis is performed by updating attribute values after every modification. This paper discusses how updating can be carried out and presents several algorithms for the task, including one that is asymptotically optimal in time.
Attribute Grammars as a Functional Programming Paradigm
 Functional Programming Languages and Computer Architecture, volume 274 of LNCS
, 1987
"... The purpose of this paper is twofold. Firstly we show how attributes in an attribute grammar can be simply and efficiently evaluated using a lazy functional language. The class of attribute grammars we can deal with are the most general ones possible: attributes may depend on each other in an arbitr ..."
Abstract

Cited by 73 (2 self)
 Add to MetaCart
The purpose of this paper is twofold. Firstly we show how attributes in an attribute grammar can be simply and efficiently evaluated using a lazy functional language. The class of attribute grammars we can deal with are the most general ones possible: attributes may depend on each other in an arbitrary way, as long as there are no truly circular data dependencies. Secondly, we describe a methodology based on attribute grammars, where, in a fairly straightforward way, we can develop efficient functional programs where direct, conventional solutions yield less efficient programs. We review two examples from a paper by R. Bird (Using circular programs to eliminate multiple traversals of data, Acta Informatica, 21, 1984) where he transforms simple but inefficient multipass programs into more efficient single pass ones, but which on their own can be very hard to understand. We show how such efficient but tangled programs can have natural formulations as attribute grammars. We also propose a...
Higher Order Attribute Grammars
, 1991
"... Higher Order Attribute Grammars (HAGs) are an extension of normal attribute grammars in the sense that the distinction between the domain of parsetrees and the domain of attributes has disappeared: parse trees may be computed in attributes and grafted to the parse tree at various places. As a re ..."
Abstract

Cited by 66 (8 self)
 Add to MetaCart
Higher Order Attribute Grammars (HAGs) are an extension of normal attribute grammars in the sense that the distinction between the domain of parsetrees and the domain of attributes has disappeared: parse trees may be computed in attributes and grafted to the parse tree at various places. As a result semantic functions may be described by attribute evaluation.
Structured document transformations based on XSL
 In DBPL
, 1999
"... Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTL reg is considered that uses regular expressions as pattern language. This instantiation closely resembles the navigation mechanism of XS ..."
Abstract

Cited by 38 (12 self)
 Add to MetaCart
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTL reg is considered that uses regular expressions as pattern language. This instantiation closely resembles the navigation mechanism of XSL. For DTL reg the complexity of relevant decision problems such as termination of programs, usefulness of rules and equivalence of selection patterns, is addressed. Next, a much more powerful abstraction of XSL is considered that uses monadic secondorder logic formulas as pattern language (DTL mso). If DTL mso is restricted to topdown transformations (DTL mso d), then a computational model can be defined which is a natural generalization to unranked trees of topdown tree transducers with lookahead. The lookahead can be realized by a straightforward bottomup preprocessing pass through the document. The size of the output of an XSL program is at most exponential in the size of the input. By restricting copying in XSL a decidable fragment of DTL mso d programs is obtained which induces transformations of linear size increase (safe DTL mso d). It is shown that the emptiness and finiteness problems are decidable for ranges of DTL mso d programs and that the ranges are closed under intersection with generalized Document Type Definitions (DTDs). 1
Extensions of Attribute Grammars for Structured Document Queries
, 1999
"... Document specification languages like for instance XML, model documents using extended contextfree grammars. These differ from standard contextfree grammars in that they allow arbitrary regular expressions on the righthand side of productions. To query such documents, we introduce a new form of a ..."
Abstract

Cited by 32 (6 self)
 Add to MetaCart
Document specification languages like for instance XML, model documents using extended contextfree grammars. These differ from standard contextfree grammars in that they allow arbitrary regular expressions on the righthand side of productions. To query such documents, we introduce a new form of attribute grammars (extended AGs) that work directly over extended contextfree grammars rather than over standard contextfree grammars. Viewed as a query language, extended AGs are particularly relevant as they can take into account the inherent order of the children of a node in a document.
Instance Complexity
, 1994
"... We introduce a measure for the computational complexity of individual instances of a decision problem and study some of its properties. The instance complexity of a string x with respect to a set A and time bound t, ic t (x : A), is defined as the size of the smallest specialcase program for A that ..."
Abstract

Cited by 29 (1 self)
 Add to MetaCart
We introduce a measure for the computational complexity of individual instances of a decision problem and study some of its properties. The instance complexity of a string x with respect to a set A and time bound t, ic t (x : A), is defined as the size of the smallest specialcase program for A that runs in time t, decides x correctly, and makes no mistakes on other strings ("don't know" answers are permitted). We prove that a set A is in P if and only if there exist a polynomial t and a constant c such that ic t (x : A) c for all x
Directional Types and the Annotation Method
, 1997
"... This paper shows that the annotation proof method, proposed by Deransart for proving declarative properties of logic programs, is also applicable for proving correctness of directional types. In particular, the sufficient correctness criterion of welltypedness by Bronsard et al, turns out to be a s ..."
Abstract

Cited by 28 (3 self)
 Add to MetaCart
This paper shows that the annotation proof method, proposed by Deransart for proving declarative properties of logic programs, is also applicable for proving correctness of directional types. In particular, the sufficient correctness criterion of welltypedness by Bronsard et al, turns out to be a specialization of the annotation method. The comparison shows a general mechanism for construction of similar specializations, which is applied to derive yet another concept of welltypedness. The usefulness of the new correctness criterion is shown on examples of Prolog programs, where the traditional notion of welltypedness is not applicable. We further show that the new welltyping condition can be applied to different execution models. This is illustrated by an example of an execution model where unification is controlled by directional types, and where our new welltyping condition is applied to show the absence of deadlock. / 1. INTRODUCTION
Attribute Grammars for Unranked Trees as a query language for structured documents
"... Document specification languages, like for instance XML, model documents using extended contextfree grammars. These di#er from standard contextfree grammars in that they allow arbitrary regular expressions on the righthand side of productions. To query such documents, we introduce a new form ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
Document specification languages, like for instance XML, model documents using extended contextfree grammars. These di#er from standard contextfree grammars in that they allow arbitrary regular expressions on the righthand side of productions. To query such documents, we introduce a new form of attribute grammars (extended AGs) that work directly over extended contextfree grammars rather than over standard contextfree grammars. Viewed as a query language, extended AGs are particularly relevant as they can take into account the inherent order of the children of a node in a document.
Models of Tree Translation
"... This first chapter gives an introduction into the area of tree transducer theory, and describes the results presented in Chapters 2–6. The first section addresses general issues like translations, trees, and tree grammars. Section 2 is concerned with the different models of tree transducers that ar ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
This first chapter gives an introduction into the area of tree transducer theory, and describes the results presented in Chapters 2–6. The first section addresses general issues like translations, trees, and tree grammars. Section 2 is concerned with the different models of tree transducers that are considered in the thesis. It describes the typical problems that appear in tree transducer theory, and mentions important properties of the different tree transducer models. Section 3 describes the results of
The complexity of typechecking treewalking tree transducers ⋆
"... Abstract. Treewalking tree transducers can be typechecked in double exponential time. More generally, compositions of k treewalking tree transducers can be typechecked in (k + 1)fold exponential time. 1 ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. Treewalking tree transducers can be typechecked in double exponential time. More generally, compositions of k treewalking tree transducers can be typechecked in (k + 1)fold exponential time. 1