From: farrell@coral.cs.jcu.edu.au (John Farrell)
Subject: Re: The OBJ language
Organization: James Cook University
Date: 15 Dec 92 01:40:33 GMT

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.
"
)
Newsgroups: comp.lang.functional