Semantics of context-free languages: Correction
From MaRDI portal
Cited in
(47)- Macro tree transducers
- Pushdown machines for the macro tree transducer
- Classical and incremental attribute evaluation by means of recursive procedures
- Composition and evaluation of attribute coupled grammars
- Final algebra semantics and data type extensions
- Testing attribute grammars for circularity
- Attribute grammars and recursive program schemes. I. II
- On efficient implementation of LR-attributed grammars
- Operational semantics of a kernel of the language ELECTRE
- Relating attribute grammars and lexical-functional grammars
- Tree transducers with external functions
- An optimization of the alternating semantic evaluator
- Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials
- Ordered attributed grammars
- Attributed tree grammars
- A characterization of the squares in a Fibonacci string
- Stochastic recurrences of Jackpot Keno.
- On the distribution of the leading digit of a^n: a study via ^2 statistics
- ECLR-attributed grammars: a practical class of LR-attributed grammars
- Composing stack-attributed tree transducers
- On the roles of semantic locality of crossover in genetic programming
- Geometrical aspects of expansions in complex bases
- A survey of strategies in rule-based program transformation systems
- Document spanners: a formal approach to information extraction
- Comonadic notions of computation
- Algebraic dynamic programming for multiple context-free grammars
- A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0
- Simulation studies of the power of birnbaum's test
- Realization of attributive semantics
- Deterministic representation of probabilistic systems by ergodic machines
- An order-algebraic definition of knuthian semantics
- A survey of state vectors
- Sémantique du parallélisme et du choix du langage Electre
- Loops and overloops for tree walking automata
- A semantic extension of BNF
- Simple multi-visit attribute grammars
- Enumerating grammar-based extractions
- Characterizing attributed tree translations in terms of macro tree transducers
- Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
- Attributed tree transducers for partial functions
- An efficient semantic evaluator for warped LC(1) attributed grammars
- Proof methods of declarative properties of definite programs
- Deciding linear height and linear size-to-height increase of macro tree transducers
- Grammars for document spanners
- Global storage cells for attributes in an attribute grammar
- The simple pendulum and the periodic LQG control problem
- Optimal incremental simple multi-pass attribute evaluation
This page was built for publication: Semantics of context-free languages: Correction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5624673)
