Pages that link to "Item:Q5555691"
From MaRDI portal
The following pages link to Semantics of context-free languages (Q5555691):
Displaying 50 items.
- Domains of partial attributed tree transducers (Q294731) (← links)
- Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition (Q385017) (← links)
- Loops and overloops for tree-walking automata (Q442148) (← links)
- A survey of state vectors (Q458456) (← links)
- On the complexity of regular-grammars with integer attributes (Q632805) (← links)
- Producing a top-down parse order with bottom-up parsing (Q672970) (← links)
- An approach to user interface specification with attribute grammars (Q676864) (← links)
- Formal attributes traceability in modular language development frameworks (Q737093) (← links)
- A demonstrably correct compiler (Q749202) (← links)
- Correctness proofs of syntax-directed processing descriptions by attributes (Q754662) (← links)
- Semantic-syntax-directed translation and its application to image processing (Q760802) (← links)
- Global storage cells for attributes in an attribute grammar (Q761046) (← links)
- Specification of a query language by the attribute method (Q795520) (← links)
- On the syntactic structure of protein sequences and the concept of grammar complexity (Q801840) (← links)
- Modular tree transducers (Q807012) (← links)
- Fundamental methodological issues of syntactic pattern recognition (Q903109) (← links)
- Uncle-attributed grammars (Q911316) (← links)
- On attribute grammars without attribute synthesis (Q911787) (← links)
- Defining, analysing and implementing communication protocols using attribute grammars (Q919803) (← links)
- The time complexity of typechecking tree-walking tree transducers (Q1014274) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- Generating language from conceptual graphs (Q1056555) (← links)
- A note on one-pass evaluation of attribute grammars (Q1064793) (← links)
- High level tree transducers and iterated pushdown tree transducers (Q1096399) (← links)
- Composition and evaluation of attribute coupled grammars (Q1099964) (← links)
- Incremental evaluation for attribute grammars with unrestricted movement between tree modifications (Q1103412) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- Attribute (re)evaluation in OPTRAN (Q1114424) (← links)
- Complexity characterizations of attribute grammar languages (Q1120290) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Interdependent translation schemes (Q1151758) (← links)
- The formal power of one-visit attribute grammars (Q1157968) (← links)
- Testing attribute grammars for circularity (Q1162165) (← links)
- Attribute grammars and recursive program schemes. I. II (Q1162363) (← links)
- Universal grammars (Q1170039) (← links)
- Abstract data types and algebraic semantics of programming languages (Q1171877) (← links)
- Operational semantics of a kernel of the language ELECTRE (Q1193858) (← links)
- Attribute grammars are useful for combinatorics (Q1194317) (← links)
- Context-free hypergraph grammars have the same term-generating power as attribute grammars (Q1199703) (← links)
- Enumeration of skew Ferrers diagrams and basic Bessel functions (Q1209643) (← links)
- Proving a compiler correct: A simple approach (Q1216945) (← links)
- Are two context-free languages translatable in a syntax-directed translation scheme? (Q1217456) (← links)
- Attributed translations (Q1218732) (← links)
- SEMANOL (73), a metalanguage for programming the semantics of programming languages (Q1219158) (← links)
- Fuzzy logic and approximate reasoning (Q1222643) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- The ELL(1) parser generator and the error recovery mechanism (Q1243137) (← links)
- Inductive definability in formal language theory (Q1245578) (← links)
- The method of attributes for data flow analysis. I: Exhaustive analysis (Q1249039) (← links)
- Interpolazione e smoothing mono e bidimensionali relativi ad operatori differenziali lineari (Q1249415) (← links)
