OBJ3
<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].
| < Previous Terms | Terms Containing OBJ3 | Next Terms > |
| Obfuscated C Contest obi-wan error OBJ OBJ0 OBJ2 | OBJ3 | object ObjectBroker ObjectCenter Object CHILL object code |
