An implementation of OBJ2: An object-oriented language for abstract program specification

This publication has 5 references indexed in Scilit:

• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Rapid prototyping
  ACM SIGSOFT Software Engineering Notes, 1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970