Semantics of context-free languages

Cites work

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
scientific article; zbMATH DE number 3201938 (Why is no real title available?)
scientific article; zbMATH DE number 3291623 (Why is no real title available?)
scientific article; zbMATH DE number 3303654 (Why is no real title available?)
scientific article; zbMATH DE number 3323544 (Why is no real title available?)
Random-Access Stored-Program Machines, an Approach to Programming Languages
The Mechanical Evaluation of Expressions

Cited in

(only showing first 100 items - show all)

The time complexity of typechecking tree-walking tree transducers
Operational semantics: concepts and their expression
Generating language from conceptual graphs
A note on one-pass evaluation of attribute grammars
High level tree transducers and iterated pushdown tree transducers
Composition and evaluation of attribute coupled grammars
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications
An algebraic structure for derivations in rewriting systems
Attribute (re)evaluation in OPTRAN
Complexity characterizations of attribute grammar languages
Algebraic translations, correctness and algebraic compiler construction
Interdependent translation schemes
The formal power of one-visit attribute grammars
Testing attribute grammars for circularity
Attribute grammars and recursive program schemes. I. II
Universal grammars
Abstract data types and algebraic semantics of programming languages
Operational semantics of a kernel of the language ELECTRE
Attribute grammars are useful for combinatorics
Context-free hypergraph grammars have the same term-generating power as attribute grammars
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
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
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 equivalence of bottom-up and top-down tree-to-graph transducers
The generating power of total deterministic tree transducers
Network languages for complex systems
A linguistic approach to geometric reasoning
Attributed tree grammars
Translations of network languages
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
Two combinatorial statistics on Dyck paths
Attribute and unification grammar: A review and analysis of formalisms
Network languages for intelligent control
Logical and layout structures of documents
Network languages for concurrent multiagent systems
Computing downwards accumulations on trees quickly
Growing context-sensitive languages and Church-Rosser languages
Attribute grammars and automatic complexity analysis
A clustering algorithm for huge trees
A comparison of tree transductions defined by monadic second order logic and by attribute grammars
Generalizing input-driven languages: theoretical and practical benefits
Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
Declarative rewriting through circular nonterminal attributes
Circular attribute grammars with remote attribute references and their evaluators
Attribute grammars for unranked trees as a query language for structured documents
Modeling and predicting all- transmembrane proteins including helix-helix pairing
Three improvements on an incremental algorithm for automatic semantic analysis
A data structure formalization through generating function
Theory of formal grammars
Specification languages in algebraic compilers
Macro tree transducers, attribute grammars, and MSO definable tree translations.
An attribute-grammar framework for specifying the accessibility in Java programs
Evolution of rule-based programs
From object grammars to ECO systems
Inductive attribute grammars: A basis for incremental program execution
A functional approach to generic programming using adaptive traversals
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
Weighted operator precedence languages
A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
Zipping strategies and attribute grammars
On the semantic equivalence of language syntax formalisms
Composing stack-attributed tree transducers
On the semantics of parsing actions
Quantitative fuzzy semantics
Implementation of a modelica compiler using JastAdd attribute grammars
Silver: an extensible attribute grammar system
Document spanners: a formal approach to information extraction
A survey on decidable equivalence problems for tree transducers
Earliest normal form and minimization for bottom-up tree transducers
In memoriam Chandra Kintala
Modeling musical structure with parametric grammars
Domains of partial attributed tree transducers
Tree transformations and dependencies
Combining model checking and data-flow analysis
Specification of data restructuring software based on the attribute method
Formal restructuring functions for hierarchical data bases
Attribute Grammars and Categorical Semantics
Adaptive Star Grammars for Graph Models
Monadic Datalog Tree Transducers
On traced monoidal closed categories
An attributed translation grammar for PL/0
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
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition

Describes a project that uses

Uses Software

ALGOL 60

This page was built for publication: Semantics of context-free languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5555691)