Attribute grammars. Definitions, systems and bibliography
From MaRDI portal
Publication:1210829
DOI10.1007/BFb0030509zbMath0647.68073MaRDI QIDQ1210829
Pierre Deransart, Martin Jourdan, Bernard Lorho
Publication date: 5 June 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (24)
Systematic debugging method for attribute grammar description ⋮ Modularity and reusability in attribute grammars ⋮ Composition and evaluation of attribute coupled grammars ⋮ Toward knowledge-based specifications of languages ⋮ Logical and layout structures of documents ⋮ A formal specification of document processing ⋮ A theoretical foundation of the DSSSL location model ⋮ On logic programming interpretations of Dislog: Programming long-distance dependencies in logic ⋮ On the complexity of regular-grammars with integer attributes ⋮ Attribute Grammars and Categorical Semantics ⋮ Uncle-attributed grammars ⋮ Defining, analysing and implementing communication protocols using attribute grammars ⋮ Relating attribute grammars and lexical-functional grammars ⋮ Proof methods of declarative properties of definite programs ⋮ Monadic second-order evaluations on tree-decomposable graphs ⋮ Context-free hypergraph grammars have the same term-generating power as attribute grammars ⋮ A Generic Functional Representation of Sorted Trees Supporting Attribution ⋮ Attribute grammars for unranked trees as a query language for structured documents ⋮ Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity ⋮ Monadic Datalog Tree Transducers ⋮ The generating power of total deterministic tree transducers ⋮ A comparison of tree transductions defined by monadic second order logic and by attribute grammars ⋮ A unified language processing methodology ⋮ An attribute-grammar framework for specifying the accessibility in Java programs
This page was built for publication: Attribute grammars. Definitions, systems and bibliography
