OBJ3
OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on Kyoto Common Lisp AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.
References
- Introducing OBJ3, Joseph Goguen et al., SRI-CSL-88-9, SRI International, USA, 1988.
External links
This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.
This article is issued from Wikipedia - version of the Wednesday, August 28, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.