This article is from the Object-Oriented Technology FAQ, by Bob Hathaway firstname.lastname@example.org with numerous contributions by others.
What: Release 2.0 of OBJ3 (needed for FOOPS and OOZE, concurrent OOP)
Date: Thu, 4 Jun 92 15:07:26 BST
OBJ is available from SRI, see the message below; prototypes implementations of
FOOPS (without the concurrent extension) and OOZE are due to the end of the
year, but for both you also need OBJ.
Unfortunately, I don't have any document about the FOOPS extension now, but
probably by the end of the year. I will send it to you as soon as possible.
What: Release 2.0 of OBJ3 is now available
From: email@example.com (Timothy Winkler)
Date: 6 Apr 92 08:35:40 GMT
Release 2.0 of OBJ3 is now available!
Improvements in this version include some language extensions and additional
theorem proving features. In addition, an effort has been made to speed up
the implementation; rewriting is often twice as fast as in the original
implementation. We are including the AKCL patches from the University of
Texas at Austin in the distribution, which are necessary for maintaining the
portability of OBJ3 and also improve its efficiency. In addition, we are
distributing a SPARC version of OBJ3.
OBJ3 has pattern matching modulo associativity, commutativity, and identity.
New: the system automatically computes conditions for rules involving matching
modulo identity that are used to prevent obvious non-termination problems.
Also new to this version of OBJ3 is a facility for controlled rewriting. This
provides substantially increased support for the use of the system for
equational theorem proving.
To receive the OBJ3 distribution tape or an OBJ3 license, send a request
Judith Burgess (OBJ3)
Computer Science Laboratory
333 Ravenswood Ave.
Menlo Park, CA 94025-3493, USA
Telephone: (415) 859-5924
Fax: (415) 859-2844
Be sure to give us your postal mailing address. Then we will send you the
OBJ3 Information Form, and License Agreement, with instructions on how to
fill them out. (A KCL license form will also be included.) When you return
them to us, appropriately filled out and signed, we will send you the tape,
somedocumentation, and, in case you are requesting a tape, an invoice for
$150.00 plus any required taxes.
If you already have an OBJ3 license, then you don't need to get a new license,
but, if you are requesting a tape from SRI, you are asked to pay the above
It is also possible to get a license for OBJ3 at no charge from SRI and then
get the OBJ3 distribution itself from some third party also having a license.
Jose Meseguer, Timothy Winkler, and Patrick Lincoln
Computer Science Laboratory
333 Ravenswood Avenue
Menlo Park, California 94025, USA
Programming Research Group
11 Keble Road
Oxford OX1 3QD, United Kingdom