Results 41 to 50 of about 1,902,940 (354)
Encoding Incremental NACs in Safe Graph Grammars using Complementation [PDF]
EPTCS 330, 2020, pp. 88-107, 2020 In modelling complex systems with graph grammars (GGs), it is convenient to restrict the application of rules using attribute constraints and negative application conditions (NACs). However, having both attributes and NACs in GGs renders the behavioural analysis (e.g. unfolding) of such systems more complicated.
arxiv +1 more source
Incremental Evaluation of Ordered Attribute Grammars for Asynchronous Subtree Replacements [PDF]
, 1988 Incremental algorithms for evaluating attribute grammars (AGs) have been extensively studied in recent years, primarily because of their application in language-based environments.
Micallef, Josephine
core +2 more sources
Modular Attribute Grammars [PDF]
The Computer Journal, 1990 Attribute grammars provide a formal declarative notation for describing the semantics and translation of programming languages. Describing any real programming language is a significant software engineering challenge. From a software engineering viewpoint, current notations for attribute grammars have two flaws: tedious repetition of essentially the ...
G. D. P. Dueck, Gordon V. Cormack
openaire +1 more source
Feasibility of Using Grammars to Infer Room Semantics
Remote Sensing, 2019 Current indoor mapping approaches can detect accurate geometric information but are incapable of detecting the room type or dismiss this issue. This work investigates the feasibility of inferring the room type by using grammars based on geometric maps ...
Xuke Hu +5 more
doaj +1 more source
Extending Attribute Grammars to Support Programming-in-the-Large [PDF]
, 1993 Attribute grammars add specification of static semantic properties to context-free grammars, which in turn describe the syntactic structure of program units. However, context-free grammars cannot express programming-in-the-large features common in modern
Kaiser, Gail E., Micallef, Josephine
core +2 more sources
Statically Scheduling Circular Remote Attribute Grammars [PDF]
, 2023 Classical attribute grammars invented by Knuth have been the subject of extensive study. Over the years there have been various extensions introduced, each with the goal of making attribute grammar more useful for applications such as program analysis ...
Hesamian, Seyedamirhossein
core +1 more source
Conditional attribute grammars [PDF]
ACM Transactions on Programming Languages and Systems, 1996 Attribute grammars are a useful formalism for the specification of computations on structured terms. The classical definition of attribute grammars, however, has no way of treating conditionals nonstrictly. Consequently, the natural way of expressing many otherwise well-behaved computations involves a circularity. This article presents
John Boyland
openalex +3 more sources
Lokalizuojamųjų programinės įrangos išteklių metainformacijos formalizavimo metodas
Informacijos Mokslai, 2009 Programinės įrangos lokalizavimas – vienas svarbesnių veiksnių kompiuterių taikymo srityje. Pasaulyje beveik sutartinai išskiriami du lokalizavimo komponentai: programos adaptavimas (lokalės elementų pritaikymas) ir dialogų (pranešimų, meniu užrašų ir kt.
Tatjana Jevsikova, Valentina Dagienė
doaj +1 more source
Memoized zipper-based attribute grammars and their higher order extension [PDF]
, 2019 Attribute grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art zipper-based embedding of classic attribute grammars and higher-order ...
Fernandes, João Paulo +4 more
core +2 more sources
Zur Historie der nominalen -er-Bildungen. Ist die Suffixidentität sprachwandlerischer Zufall?
Linguistik Online, 2004 The various different occurrences of -er in the morphology of German (e.g. in agentive and instrumental nouns, in comparatives, iteratives and intensifiers) are generally treated as being homonymous. In other words, just as in the case of full lexemes (e.
Dagmar Bittner
doaj +1 more source