Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Remote attribute grammars
View through CrossRef
Describing the static semantics of programming languages with attribute grammars is eased when the formalism allows direct dependencies to be induced between rules for nodes arbitrarily far away in the tree. Such
direct non-local
dependencies cannot be analyzed using classical methods, which enable efficient evaluation.This article defines an attribute grammar extension (“remote attribute grammars”) to permit references to objects with fields to be passed through the attribute system. Fields may be read and written through these references. The extension has a declarative semantics in the spirit of classical attribute grammars. It is shown that determining circularity of remote attribute grammars is undecidable.The article then describes a family of conservative tests of noncircularity and shows how they can be used to “schedule” a remote attribute grammar using standard techniques. The article discusses practical batch and incremental evaluation of remote attribute grammars.
Title: Remote attribute grammars
Description:
Describing the static semantics of programming languages with attribute grammars is eased when the formalism allows direct dependencies to be induced between rules for nodes arbitrarily far away in the tree.
Such
direct non-local
dependencies cannot be analyzed using classical methods, which enable efficient evaluation.
This article defines an attribute grammar extension (“remote attribute grammars”) to permit references to objects with fields to be passed through the attribute system.
Fields may be read and written through these references.
The extension has a declarative semantics in the spirit of classical attribute grammars.
It is shown that determining circularity of remote attribute grammars is undecidable.
The article then describes a family of conservative tests of noncircularity and shows how they can be used to “schedule” a remote attribute grammar using standard techniques.
The article discusses practical batch and incremental evaluation of remote attribute grammars.
Related Results
Evolutionary Grammatical Inference
Evolutionary Grammatical Inference
Grammatical Inference (also known as grammar induction) is the problem of learning a grammar for a language from a set of examples. In a broad sense, some data is presented to the ...
Jezik i gramatološki prinos Lanosovićeve slavonske gramatike u kontekstu standardizacije hrvatskoga jezika
Jezik i gramatološki prinos Lanosovićeve slavonske gramatike u kontekstu standardizacije hrvatskoga jezika
The primary task of this paper was to present, describe and analyze all three editions of Fr. Marijan Lanosović’s grammar as comprehensively and systematically as possible. The gra...
ON A SUPERCLASS OF A-GRAMMARS
ON A SUPERCLASS OF A-GRAMMARS
In this paper we consider a superclass of automaton grammars that can be represented in terms of paths on graphs. With this approach, we assume that vertices of graph are labeled b...
Phrase Structure Grammars
Phrase Structure Grammars
Phrase structure grammars model the internal structure of a sentence in terms of a hierarchically organized representation. The sentence Every boy has a bike, for instance, is take...
History of European Vernacular Grammar Writing
History of European Vernacular Grammar Writing
The grammatization of European vernacular languages began in the Late Middle Ages and Renaissance and continued up until the end of the 18th century. Through this process, grammars...
Structurally and Arithmetically Controlled Grammars
Structurally and Arithmetically Controlled Grammars
Over the quarter century, it is gratifying to note that the significance of regulated or controlledgrammars (i.e. grammars with regulated rewriting) has been recognized by many par...
Attribute Categorization and Layering Effects on Product Design Evaluations
Attribute Categorization and Layering Effects on Product Design Evaluations
Although convergence of attributes has been frequently applied as a product development strategy, its effects on consumers’ perceptions of product capabilities (PC) and usability (...
Unification Grammars
Unification Grammars
Grammars of natural languages can be expressed as mathematical objects, similar to computer programs. Such a formal presentation of grammars facilitates mathematical reasoning with...