Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

OBJ3

You are here: irt.org | FOLDOC | OBJ3

<language> A version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL.

E-mail: <obj3dist@csl.sri.com>, .

["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988].

(1995-03-16)

Nearby terms: OBJ « OBJ0 « OBJ2 « OBJ3 » object » ObjectBroker » ObjectCenter

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb