OBJ3


Meaning of OBJ3 in English

< 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].

(1995-03-16)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.