Semantics of context-free languages

Cites work

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?)
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

Cited in

(only showing first 100 items - show all)

A data structure formalization through generating function
A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
A two-dimensional hierarchy for attributed tree transducers
The ELL(1) parser generator and the error recovery mechanism
An attributed translation grammar for PL/0
Weighted operator precedence languages
k-visit attribute grammars
Enumerating grammar-based extractions
scientific article; zbMATH DE number 7559390 (Why is no real title available?)
A syntax directed macro processor
On coupled languages and translations
Document spanners: a formal approach to information extraction
scientific article; zbMATH DE number 3343516 (Why is no real title available?)
Inductive definability in formal language theory
The method of attributes for data flow analysis. I: Exhaustive analysis
Counter-one-pass features in one-pass compilation: A formalization using attribute grammars
An order-algebraic definition of knuthian semantics
Operational semantics of a kernel of the language ELECTRE
On the semantics of parsing actions
Composition and evaluation of attribute coupled grammars
High level tree transducers and iterated pushdown tree transducers
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
An attribute-grammar framework for specifying the accessibility in Java programs
The generating power of total deterministic tree transducers
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications
On the semantic equivalence of language syntax formalisms
A clustering algorithm for huge trees
Enumeration of skew Ferrers diagrams and basic Bessel functions
Machine Translation and Type Theory
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
Evolution of rule-based programs
The equivalence of bottom-up and top-down tree-to-graph transducers
Theory of formal grammars
Synthesized and inherited functions. A new computational model for syntax-directed semantics
An algebraic structure for derivations in rewriting systems
Semantic preserving translations
A generic functional representation of sorted trees supporting attribution (Haskell can do it)
RIGAL -- a programming language for compiler writing
Fuzzy logic and approximate reasoning
Declarative rewriting through circular nonterminal attributes
Macro tree transducers, attribute grammars, and MSO definable tree translations.
The concept of a linguistic variable and its application to approximate reasoning. II
Attribute grammars as recursion schemes over cyclic representations of zippers
Domains of partial attributed tree transducers
Inductive attribute grammars: A basis for incremental program execution
Semantic equivalence of covering attribute grammars
Loops and overloops for tree-walking automata
Interpolazione e smoothing mono e bidimensionali relativi ad operatori differenziali lineari
A comparison of tree transductions defined by monadic second order logic and by attribute grammars
Translation grammars for compilation and decompilation
Formal restructuring functions for hierarchical data bases
Deciding whether an attributed translation can be realized by a top-down transducer
Modeling musical structure with parametric grammars
Specification languages in algebraic compilers
Formal attributes traceability in modular language development frameworks
On the syntactic structure of protein sequences and the concept of grammar complexity
Interdependent translation schemes
The time complexity of typechecking tree-walking tree transducers
Attribute grammars for unranked trees as a query language for structured documents
The formal power of one-visit attribute grammars
Realization of attributive semantics
Attribute grammars and recursive program schemes. I. II
Network languages for complex systems
Attributed tree grammars
Defining, analysing and implementing communication protocols using attribute grammars
Grammars for document spanners
Ordered attributed grammars
A survey of state vectors
Earliest normal form and minimization for bottom-up tree transducers
Circular attribute grammars with remote attribute references and their evaluators
A demonstrably correct compiler
Testing attribute grammars for circularity
Growing context-sensitive languages and Church-Rosser languages
Implementation of a modelica compiler using JastAdd attribute grammars
Modeling and predicting all- transmembrane proteins including helix-helix pairing
A semantic extension of BNF
Correctness proofs of syntax-directed processing descriptions by attributes
Zipping strategies and attribute grammars
Universal grammars
Composing stack-attributed tree transducers
In memoriam Chandra Kintala
Inference of a class of CFPG by means of semantic rules
From object grammars to ECO systems
Deciding whether an attributed translation can be realized by a top-down transducer
scientific article; zbMATH DE number 3514943 (Why is no real title available?)
On the complexity of regular-grammars with integer attributes
Global storage cells for attributes in an attribute grammar
Semantic-syntax-directed translation and its application to image processing
Fundamental methodological issues of syntactic pattern recognition
Context-free hypergraph grammars have the same term-generating power as attribute grammars
Attribute Grammars and Categorical Semantics
The translation power of top-down tree-to-graph transducers
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
On attribute grammars without attribute synthesis
Uncle-attributed grammars
Deciding linear height and linear size-to-height increase of macro tree transducers
Attribute grammars are useful for combinatorics

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)