An introduction to OBJ 3

This publication has 13 references indexed in Scilit:

• 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
• Extensions and foundations of object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• The G-machine: A fast, graph-reduction evaluator
  Published by Springer Nature ,1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 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