 |
 |
|
 |
 |
|
|
|
|
|
|
Encyclopedia :
O :
OB :
OBJ :
OBJ3 |
|
|
OBJ3OBJ3 is 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].
|
|
|
This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License. |
|
| © 2008 Chamas Enterprises Inc. |
