<language> A version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL.

E-mail: <obj3sys@crl.sri.com>, <obj3dist@csl.sri.com>.

["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988].

Last updated: 1995-03-16

Try this search on Wikipedia, OneLook, Google

Nearby terms: OBJ « OBJ0 « OBJ2 « OBJ3 » object » ObjectBroker » ObjectCenter


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.