What: Release 2.0 of OBJ3 (needed for FOOPS and OOZE, concurrent OOP) Date: Thu, 4 Jun 92 15:07:26 BST From: Paulo.Borba@prg.oxford.ac.uk
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: firstname.lastname@example.org (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 to:
Judith Burgess (OBJ3) Computer Science Laboratory SRI International 333 Ravenswood Ave. Menlo Park, CA 94025-3493, USA
Telephone: (415) 859-5924 Fax: (415) 859-2844 email: email@example.com
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 distribution fee.
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 SRI International 333 Ravenswood Avenue Menlo Park, California 94025, USA
Joseph Goguen Programming Research Group Computing Laboratory Oxford University 11 Keble Road Oxford OX1 3QD, United Kingdom
This document was translated by ms2html v1.8 on 01.06.95.