Introducing OBJ

This publication has 51 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Hidden coinduction: behavioural correctness proofs for objects
  Mathematical Structures in Computer Science, 1999
• An object-oriented tool for tracing requirements
  IEEE Software, 1996
• 2OBJ: a metalogical framework theroem prover based on equational logic
  Philosophical Transactions A, 1992
• Modular algebraic specification of some basic geometrical constructions
  Artificial Intelligence, 1988
• The design of a rewrite rule interpreter from algebraic specifications
  Software Engineering Journal, 1987
• Extensions and foundations of object-oriented programming
  ACM SIGPLAN Notices, 1986
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Rapid prototyping
  ACM SIGSOFT Software Engineering Notes, 1982
• “Memo” Functions and Machine Learning
  Nature, 1968