🚀 go-pugleaf

In <1992Dec14.093136.23648@netcom.com> richmcdm@netcom.com (Richard McConnell) writes:
>I've recently read a paper which describes a language called OBJ, and I'm 
>wondering if anyone knows where I could go for more info.t

This is a good opportunity to advertise the wonderful world of wais. Wais is
like anonymous ftp with keyword searching. I have a wais database which is
(a) accessible by the whole world and (b) oriented towards functional
programming. It contains mostly abstracts and news articles giving references,
so hopefully it can be used to get initial pointers to areas of interest.
Here is what it said about OBJ: (BTW my database contains a list of public
domain compilers and interpreters, and OBj is not mentioned in there, except
as in the extension .obj).

%T OBJ as a Theorem Prover
%A J.A. Goguen
%I gogu88
%S Report SRI-CSL-88-4R (Revised), Computer Science Laboratory, SRI International, Menlo Park, CA, 1988
%C This paper states, justifies, and illustrates some new techniques for using an equational logic based programming language like OBJ as a theorem prover. These techniques avoid the complexities of both higher order logic and, Knuth-Bendix completion.
----------------------------------------------------------------------
%T An Introduction to OBJ:A Language for Writing and Testing Formal Algebraic Program Specification
%A J.A. Goguen, J.J. Tardo
%I gogu79
%S  IEEE Transactions on SE5, 1979
----------------------------------------------------------------------
%T Rapid Prototyping in the OBJ Executable Specification Language
%A J.A. Goguen
%I gogu82
%S Proc. Rapid Prototyping Workshop, Columbia, Maryland, 1982, also in SIGSE 7,5, 1983
----------------------------------------------------------------------
%T Programming with Parameterized Abstract Objects in OBJ
%A J.A. Goguen, et al.
%I gogu83
%S In ``Theory and Practice of Software Technology'' ed. D. Ferrari, et al., North Holland, 1983
----------------------------------------------------------------------
%T Merged Views, Closed Worlds and Ordered Sets: Some Novel Database Features in OBJ
%A J.A. Goguen
%I gogu85
%S Proc. 1982 Workshop on Database Semantics and Interfaces, Univ. Pennsylvania, 1985
----------------------------------------------------------------------
%T The Rewrite Rule Machine
%A J. Goguen, S. Leinwand, J. Meseguer, T. Winkler
%I gogu89
%S Technical Monograph PRG-76, Oxford University Computing Laboratory, 1989
%K OBJ, RRM, logic, relational, OOP, object oriented


  If you have wais, the source is listed below, or it can be easily obtained
from the directory-of-servers. If you don't have wais, subscribe to
comp.infosystems.wais and find someone to ask.
  BTW, if anyone has anything they think would be useful in my database, send
it to me and I'll whack it in. It needs to be in plain text format to make the
indexing work, PostScript documents are a waste of time.

John
---
(:source 
   :version  3 
   :ip-address "137.219.17.4"
   :ip-name "coral.cs.jcu.edu.au"
   :tcp-port 8000
   :database-name "Func-Prog-Abstracts"
   :cost 0.00 
   :cost-unit :free 
   :maintainer "farrell@coral.cs.jcu.edu.au"
   :description "Server created with WAIS release 8 b3.1 on Apr 22 19:06:25 1992 by farrell@coral.cs.jcu.edu.au

Keywords: help intro introduction info information computer science technical
          reports functional programming

This is a small collection of computer science technical reports, abstracts
and papers gathered from ftp sites etc. all over the world. Due to space
considerations, I am limiting it to functional programming, my area of
interest, and papers produced by the department (which may or may not be
related to functional programming).

Comments, problems etc to the maintainer above.
"
)

In article <1992Dec14.093136.23648@netcom.com> richmcdm@netcom.com 
(Richard McConnell) writes:
:
: I haven't found a trace of OBJ in any newsgroups, "archie", etc., 
: The list of lots and lots of languages available on comp.lang.misc has 
: no mention of it either.
: 
: Basil Hosmer	(richmcdm@netcom.com)
:
Just for the record, The Language List does have an entry for OBJ, along
with OBJ0, OBJ1, OBJ2, OBJ3 and OBJT.  Woefully *brief* entries, but
they are there.  

More complete entries for these languages (or any others) are eagerly sought!

-- 
--Bill Kinnersley
  billk@hawk.cs.ukans.edu
226 Transfer complete.

richmcdm@netcom.com (Richard McConnell) writes:

>I've recently read a paper which describes a language called OBJ, and I'm 
>wondering if anyone knows where I could go for more info.t
>    The paper is from 1988 ("Higher-Order Functions Considered
>Unnecessary for Higher-Order Programming" by Joseph A. Goguen, in the book 
>Research Topics in Functional Programming). I haven't found a trace of OBJ 
>OBJ in any newsgroups, "archie", etc., except a few bibliographic references
>to other papers written around the same time. The list of lots and lots of
>languages available on comp.lang.misc has no mention of it either.
>    If anyone could point me in the right direction, I'd appreciate it.

>Basil Hosmer	(richmcdm@netcom.com)

"If you have any questions about obtaining OBJ3, please call Judith
Burgess at (415) 859-5924 or contact us by email at
obj3dist@csl.sri.com.  For technical questions, please contact Mr.
Timothy Winkler at (415) 859-3192 or by email at obj3sys@csl.sri.com."

OBJ runs on top of AKCL.  You need licenses for both OBJ and KCL in
order to use it, but both of those licenses are free.  You can order a
full tape from SRI for US$150.
--
La Monte H. Yarroll	Home:		piggy@baqaqi.chi.il.us
   Work:		piggy@hilbert.maths.utas.edu.au
   AKA:			piggy@gargoyle.uchicago.edu
   Once upon a time:	postmaster@clout.chi.il.us