On the equivalence problem for attribute systems

This publication has 10 references indexed in Scilit:

• An axiomatic approach to the Korenjak-Hopcroft algorithms
  Theory of Computing Systems, 1983
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Attribute grammars and recursive program schemes I
  Theoretical Computer Science, 1982
• Attribute Grammars and Mathematical Semantics
  SIAM Journal on Computing, 1981
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• An order-algebraic definition of knuthian semantics
  Theory of Computing Systems, 1979
• A representation of trees by languages II
  Theoretical Computer Science, 1978
• Completeness results for the equivalence of recursive schemas
  Journal of Computer and System Sciences, 1976
• The equivalence problem for deterministic finite-turn pushdown automata
  Information and Control, 1974
• Semantics of context-free languages
  Theory of Computing Systems, 1968