Attribute grammars and recursive program schemes II
Authors:
- Bruno CourcelleBCBruno Courcelle
- Paul Franchi-ZannettacciPFPaul Franchi-Zannettacci
- 1 January 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 17 (3) , 235-257
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Ordered attributed grammarsActa Informatica, 1980
- An order-algebraic definition of knuthian semanticsTheory of Computing Systems, 1979
- On equivalence of grammars through transformation treesTheoretical Computer Science, 1979
- IO-macrolanguages and attributed translationsInformation and Control, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The intrinsically exponential complexity of the circularity problem for attribute grammarsCommunications of the ACM, 1975
- Bottom-up and top-down tree transformations— a comparisonTheory of Computing Systems, 1975
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- Semantics of context-free languagesTheory of Computing Systems, 1968