Attribute coupled grammars-Reference-Cited by-同舟云学术

Attribute coupled grammars

Published:1984-06 Issue:6 Volume:19 Page:157-170
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Ganzinger Harald¹,Giegerich Robert²

Affiliation:

1. Universität Dortmund, Postfach 500500, D-4600 Dortmund 50, Fed. Rep. of Germany

2. Technische Universität, Postfach 202420, D-8000 München 2, Fed. Rep. of Germany

Abstract

In this paper, attribute grammars are viewed as specifying translations from source language terms into target language terms. The terms are constructed over a hierarchical signature consisting of a semantic and a syntactic part. Attribute grammars are redefined to become morphisms in the category of such signatures, called attribute coupled grammars, such that they come with an associative composition operation. The composition allows for a new kind of modularity in compiler specifications. The paper also discusses properties of the concept with respect to attribute evaluation and application as a tree transformation device.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/502949.502890

Reference26 articles.

1. Control flow treatment in a simple semantics-dlrected compiler generator. In D. Bjgrner (ed.) : Formal Description of Programming Concepts II;N.;North-Holland Publ. Co.,1983

2. LINGUIST-86

3. Increasing modularity and language-independency in automatically generated compilers

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Nanopass Attribute Grammars;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23

2. Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity;Acta Informatica;2019-12-09

3. Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms;Theoretical Aspects of Computing – ICTAC 2018;2018

4. Active workspaces;ACM SIGAPP Applied Computing Review;2015-10-13

5. Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition;Theoretical Computer Science;2013-04