OBJ3




<language> A version of OBJ based on order-sorted rewriting.

OBJ3 is agent-oriented and runs on AKCL.

E-mail: <[email protected]>, <[email protected]>.

["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