Simulation as a correct transformation of rewrite systems

This publication has 14 references indexed in Scilit:

• EPIC: An equational language Abstract machine and supporting tools
  Published by Springer Nature ,1996
• Minimal term rewriting systems
  Published by Springer Nature ,1996
• Transformations and confluence for rewrite systems
  Theoretical Computer Science, 1995
• Transforming strongly sequential rewrite systems with constructors for efficient parallel execution
  Published by Springer Nature ,1989
• Implementing first-order rewriting with constructor systems
  Theoretical Computer Science, 1988
• Lazy pattern matching in the ML language
  Lecture Notes in Computer Science, 1987
• On the correspondence between two classes of reduction systems
  Information Processing Letters, 1985
• Equational logic as a programming language: Abstract
  Lecture Notes in Computer Science, 1985
• Abstract Implementations and Their Correctness Proofs
  Journal of the ACM, 1983
• Stepwise specification and implementation of abstract data types
  Published by Springer Nature ,1978