English Computing Dictionary
◊ OBJ3
OBJ3
A version of {OBJ} based on {order-sorted
rewriting}. OBJ3 is {agent}-oriented and runs on {AKCL}.
E-mail: , .
["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl,
1988].
(1995-03-16)
 obj0  obj2  obj3  object  object chill