OBJ: Programming with equalities, subsorts, overloading and parameterization

This publication has 14 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• Operational semantics of OBJ-3
  Published by Springer Nature ,1988
• On word problems in Horn theories
  Published by Springer Nature ,1988
• Concurrent term rewriting as a model of computation
  Published by Springer Nature ,1987
• The design of a rewrite rule interpreter from algebraic specifications
  Software Engineering Journal, 1987
• An implementation of OBJ2: An object-oriented language for abstract program specification
  Published by Springer Nature ,1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Programming with Equations
  ACM Transactions on Programming Languages and Systems, 1982
• Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs
  Lecture Notes in Computer Science, 1979