OBJ3

<language>

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

E-mail: <[email protected]>, <[email protected]>.

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

Last updated: 1995-03-16

Nearby terms:

OBJOBJ0OBJ2OBJ3objectObjectBrokerObjectCenterObject CHILL

Try this search on Wikipedia, OneLook, Google


Loading