Abstract rewriting with concrete operators

This publication has 9 references indexed in Scilit:

• The stratified loose approach: A generalization of initial and loose semantics
  Published by Springer Nature ,1988
• A theory of software reusability
  Published by Springer Nature ,1988
• A compiler for conditional term rewriting systems
  Published by Springer Nature ,1987
• Completion of a Set of Rules Modulo a Set of Equations
  SIAM Journal on Computing, 1986
• The Larch Family of Specification Languages
  IEEE Software, 1985
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• The ASSPEGIQUE specification environment Motivations and Design
  Published by Springer Nature ,1985
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980