OBJ3

From Wikipedia, the free encyclopedia

OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.

[edit] References

• Introducing OBJ3, Joseph Goguen et al., SRI-CSL-88-9, SRI International, USA, 1988.

[edit] External links

• Iformation and OBJ3 manual (PostScript format)

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.