Pages that link to "Item:Q5555691"
From MaRDI portal
The following pages link to Semantics of context-free languages (Q5555691):
Displaying 50 items.
- Counter-one-pass features in one-pass compilation: A formalization using attribute grammars (Q1252033) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. I (Q1253933) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. II (Q1256861) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. III (Q1256862) (← links)
- Ordered attributed grammars (Q1256863) (← links)
- SQL translation using an attribute grammar (Q1260953) (← links)
- The equivalence of bottom-up and top-down tree-to-graph transducers (Q1271618) (← links)
- The generating power of total deterministic tree transducers (Q1281500) (← links)
- Network languages for complex systems (Q1309716) (← links)
- A linguistic approach to geometric reasoning (Q1309724) (← links)
- Attributed tree grammars (Q1311961) (← links)
- Translations of network languages (Q1324385) (← links)
- The translation power of top-down tree-to-graph transducers (Q1337465) (← links)
- Synthesized and inherited functions. A new computational model for syntax-directed semantics (Q1338894) (← links)
- Modularity and reusability in attribute grammars (Q1338904) (← links)
- Two combinatorial statistics on Dyck paths (Q1343781) (← links)
- Attribute and unification grammar: A review and analysis of formalisms (Q1353898) (← links)
- Network languages for intelligent control (Q1361234) (← links)
- Logical and layout structures of documents (Q1366234) (← links)
- Network languages for concurrent multiagent systems (Q1368473) (← links)
- Computing downwards accumulations on trees quickly (Q1369231) (← links)
- Growing context-sensitive languages and Church-Rosser languages (Q1383712) (← links)
- Attribute grammars and automatic complexity analysis (Q1398296) (← links)
- A clustering algorithm for huge trees (Q1408279) (← links)
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars (Q1582010) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems (Q1736602) (← links)
- Declarative rewriting through circular nonterminal attributes (Q1749127) (← links)
- Circular attribute grammars with remote attribute references and their evaluators (Q1762933) (← links)
- Attribute grammars for unranked trees as a query language for structured documents (Q1776378) (← links)
- Modeling and predicting all-\(\alpha\) transmembrane proteins including helix-helix pairing (Q1781991) (← links)
- Three improvements on an incremental algorithm for automatic semantic analysis (Q1822939) (← links)
- A data structure formalization through generating function (Q1844073) (← links)
- Theory of formal grammars (Q1846334) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Macro tree transducers, attribute grammars, and MSO definable tree translations. (Q1854312) (← links)
- An attribute-grammar framework for specifying the accessibility in Java programs (Q1869984) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- From object grammars to ECO systems (Q1884915) (← links)
- Inductive attribute grammars: A basis for incremental program execution (Q1892708) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity (Q2022308) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- Zipping strategies and attribute grammars (Q2163164) (← links)
- On the semantic equivalence of language syntax formalisms (Q2202012) (← links)
- Composing stack-attributed tree transducers (Q2272204) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- Quantitative fuzzy semantics (Q2546503) (← links)
- Implementation of a modelica compiler using JastAdd attribute grammars (Q2653930) (← links)