Semantics of context-free languages
From MaRDI portal
Publication:5555691
DOI10.1007/BF01692511zbMath0169.01401WikidataQ56672530 ScholiaQ56672530MaRDI QIDQ5555691
Publication date: 1968
Published in: Mathematical Systems Theory (Search for Journal in Brave)
Related Items
Evolution of rule-based programs, The translation power of top-down tree-to-graph transducers, Synthesized and inherited functions. A new computational model for syntax-directed semantics, Modularity and reusability in attribute grammars, From object grammars to ECO systems, Domains of partial attributed tree transducers, Two combinatorial statistics on Dyck paths, Inductive attribute grammars: A basis for incremental program execution, High level tree transducers and iterated pushdown tree transducers, Attribute and unification grammar: A review and analysis of formalisms, Composition and evaluation of attribute coupled grammars, Incremental evaluation for attribute grammars with unrestricted movement between tree modifications, Network languages for intelligent control, An algebraic structure for derivations in rewriting systems, Logical and layout structures of documents, Network languages for concurrent multiagent systems, Zipping strategies and attribute grammars, Computing downwards accumulations on trees quickly, Implementation of a modelica compiler using JastAdd attribute grammars, Attribute (re)evaluation in OPTRAN, Complexity characterizations of attribute grammar languages, Growing context-sensitive languages and Church-Rosser languages, Algebraic translations, correctness and algebraic compiler construction, Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition, A functional approach to generic programming using adaptive traversals, Attribute grammars and automatic complexity analysis, Fundamental methodological issues of syntactic pattern recognition, Interdependent translation schemes, A clustering algorithm for huge trees, On the complexity of regular-grammars with integer attributes, On the semantic equivalence of language syntax formalisms, Generalizing input-driven languages: theoretical and practical benefits, Uncle-attributed grammars, The formal power of one-visit attribute grammars, On attribute grammars without attribute synthesis, Loops and overloops for tree-walking automata, Testing attribute grammars for circularity, Attribute grammars and recursive program schemes. I. II, On the semantics of parsing actions, Defining, analysing and implementing communication protocols using attribute grammars, A survey of state vectors, Universal grammars, Abstract data types and algebraic semantics of programming languages, Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems, Producing a top-down parse order with bottom-up parsing, An approach to user interface specification with attribute grammars, Operational semantics of a kernel of the language ELECTRE, Attribute grammars are useful for combinatorics, Declarative rewriting through circular nonterminal attributes, Context-free hypergraph grammars have the same term-generating power as attribute grammars, Circular attribute grammars with remote attribute references and their evaluators, Enumeration of skew Ferrers diagrams and basic Bessel functions, Proving a compiler correct: A simple approach, Are two context-free languages translatable in a syntax-directed translation scheme?, Attributed translations, SEMANOL (73), a metalanguage for programming the semantics of programming languages, Fuzzy logic and approximate reasoning, Attribute grammars for unranked trees as a query language for structured documents, Composing stack-attributed tree transducers, Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity, Modeling and predicting all-\(\alpha\) transmembrane proteins including helix-helix pairing, Correctness of parallel programs: The Church-Rosser approach, The ELL(1) parser generator and the error recovery mechanism, Inductive definability in formal language theory, The method of attributes for data flow analysis. I: Exhaustive analysis, Interpolazione e smoothing mono e bidimensionali relativi ad operatori differenziali lineari, Counter-one-pass features in one-pass compilation: A formalization using attribute grammars, The concept of a linguistic variable and its application to approximate reasoning. I, Formal attributes traceability in modular language development frameworks, The concept of a linguistic variable and its application to approximate reasoning. II, The concept of a linguistic variable and its application to approximate reasoning. III, Ordered attributed grammars, SQL translation using an attribute grammar, The time complexity of typechecking tree-walking tree transducers, A demonstrably correct compiler, Correctness proofs of syntax-directed processing descriptions by attributes, The equivalence of bottom-up and top-down tree-to-graph transducers, Weighted operator precedence languages, Semantic-syntax-directed translation and its application to image processing, Global storage cells for attributes in an attribute grammar, Quantitative fuzzy semantics, Operational semantics: concepts and their expression, Three improvements on an incremental algorithm for automatic semantic analysis, The generating power of total deterministic tree transducers, A comparison of tree transductions defined by monadic second order logic and by attribute grammars, A data structure formalization through generating function, Theory of formal grammars, Specification of a query language by the attribute method, Generating language from conceptual graphs, Specification languages in algebraic compilers, Macro tree transducers, attribute grammars, and MSO definable tree translations., Network languages for complex systems, A linguistic approach to geometric reasoning, On the syntactic structure of protein sequences and the concept of grammar complexity, Attributed tree grammars, A note on one-pass evaluation of attribute grammars, Modular tree transducers, An attribute-grammar framework for specifying the accessibility in Java programs, A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines, Translations of network languages, Unnamed Item, Tree Transformations and Dependencies, Combining Model Checking and Data-Flow Analysis, A two-dimensional hierarchy for attributed tree transducers, EARLIEST NORMAL FORM AND MINIMIZATION FOR BOTTOM-UP TREE TRANSDUCERS, IN MEMORIAM CHANDRA KINTALA, Can we transform logic programs into attribute grammars ?, Rigal — a programming language for compiler writing, Silver: an extensible attribute grammar system, Modeling Musical Structure with Parametric Grammars, Specification of data restructuring software based on the attribute method, Graphs and designing, Enumerating grammar-based extractions, Characterizing attributed tree translations in terms of macro tree transducers, Deciding whether an attributed translation can be realized by a top-down transducer, Attribute Grammars and Categorical Semantics, Semantic preserving translations, A semantic extension of BNF, Adaptive Star Grammars for Graph Models, An attributed translation grammar for PL/0, LINGUISTIC GEOMETRY: METHODOLOGY AND TECHNIQUES, A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0, A linked forest manipulation system semantics rules for an attributed translation grammar for PL/0, Formal restructuring functions for hierarchical data bases, A Generic Functional Representation of Sorted Trees Supporting Attribution, Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers, Unnamed Item, On coupled languages and translations, Translation grammars for compilation and decompilation, Semantic equivalence of covering attribute grammars, Unnamed Item, Document Spanners, A Survey on Decidable Equivalence Problems for Tree Transducers, Monadic Datalog Tree Transducers, On traced monoidal closed categories, An order-algebraic definition of knuthian semantics, Realization of attributive semantics, Weighted Operator Precedence Languages, k-visit attribute grammars, Inference of a class of CFPG by means of semantic rules, Machine Translation and Type Theory, A syntax directed macro processor
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A syntax directed compiler for ALGOL 60
- Correspondence between ALGOL 60 and Church's Lambda-notation
- EULER: A generalization of ALGOL and its formal definition: Part 1
- Random-Access Stored-Program Machines, an Approach to Programming Languages
- The Mechanical Evaluation of Expressions
