Operational semantics of OBJ-3

This publication has 12 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• A completion procedure for conditional equations
  Published by Springer Nature ,1988
• On the Church-Rosser property for the direct sum of term rewriting systems
  Journal of the ACM, 1987
• Concurrent term rewriting as a model of computation
  Published by Springer Nature ,1987
• Completion of a Set of Rules Modulo a Set of Equations
  SIAM Journal on Computing, 1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Programming with Equations
  ACM Transactions on Programming Languages and Systems, 1982
• Complete Sets of Reductions for Some Equational Theories
  Journal of the ACM, 1981
• HOPE
  Published by Association for Computing Machinery (ACM) ,1980
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980