OBJ3
Technology Dictionary
-> OBJ3
Search:
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)
©
Art Branch Inc.
SQL Tutorial