The universality of higher-order attributed tree transducers

Theory of Computing Systems

Volumn 34, Issue 1, 2000, Pages 45-75

  Noll, T ^a   Vogler, H ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; FUNCTION EVALUATION;

ATTRIBUTE EVALUATION; ATTRIBUTE GRAMMARS; COMPUTATIONAL MODEL; HIGHER-ORDER; SUBTREES; TREE TRANSDUCERS;

TRANSDUCERS;

EID: 0035624920     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/s002240010018     Document Type: Article

References (14)

1. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, New York, 1998.
2. G.V. Bochmann. Semantic evaluation from left to right. Communications of the ACM, 19(2):55-62, February 1976.
3. J. Engelfriet. Tree transducers and syntax-directed semantics. In Proceedings of the 7th Colloquium on Trees in Algebra and Programming (CAAP '82), pages 82-107, March 1982.
4. J. Engelfriet and H. Vogler. Modular tree transducers. Theoretical Computer Science, 78:267-304, 1991.
5. Z. Fülöp, F. Herrmann, S. Vágvölgyi, and H. Volger. Tree transducers with external functions. Theoretical Computer Science, 108:185-236, 1993.
6. Z. Fülöp. On attributed tree transducers. Acta Cybernetica, 5:261-279, 1981.
7. Z. Fülöp and H. Vogler. Syntax-Directed Semantics - Formal Methods Based on Tree Transducers. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, Berlin, 1998.
8. U.L. Hupbach. Rekursive Funktionen in mehrsortigen Peano-Algebren. Elektronische Informationsverarbeitung und Kybernetik, 14(10):491-506, 1978.
9. D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127-145, June 1968.
10. D.E. Knuth. Semantics of context-free languages: correction. Mathematical Systems Theory, 5(1):95-96, June 1971.
11. A.J. Kfoury and P. Urzyczyn. Necessary and sufficient conditions for the universality of programming formalisms. Acta Informatica, 22:347-377, 1985.
12. S.D. Swierstra and H.H. Vogt. Higher order attribute grammars. In H. Alblas and B. Melichar, editors, Attribute Grammars, Applications and Systems, volume 545 of Lecture Notes in Computer Science, pages 256-296. Springer-Verlag, Berlin, June 1991.
13. T. Teitelbaum and R. Chapman. Higher-order attribute grammars and editing environments. ACM SIGPLAN Notices, 25(6):197-208, 1990.
14. H.H. Vogt, S. D. Swierstra, and M.F. Kuiper. Higher order attribute grammars. ACM SIGPLAN Notices, 24(7): 131-145, 1989.