Dactl: An experimental graph rewriting language

This publication has 17 references indexed in Scilit:

• Implementing term rewrite languages in dactl
  Theoretical Computer Science, 1990
• A correctness proof for combinator reduction with cycles
  ACM Transactions on Programming Languages and Systems, 1990
• The specificity rule for lazy pattern-matching in ambiguous term rewrite systems
  Published by Springer Nature ,1990
• LEAN: An intermediate language based on graph rewriting
  Parallel Computing, 1989
• On “on graph rewritings”
  Theoretical Computer Science, 1987
• Specification of reduction strategies in term rewriting systems
  Published by Springer Nature ,1987
• Term graph rewriting
  Published by Springer Nature ,1987
• Transputer-based experiments with the ZAPP architecture
  Published by Springer Nature ,1987
• Term rewriting systems with priorities
  Published by Springer Nature ,1987
• Programming with Equations
  ACM Transactions on Programming Languages and Systems, 1982