A version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL.
E-mail: , .
[“Introducing OBJ3”, J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988].


Read Also:

  • Object

    [noun ob-jikt, -jekt; verb uh b-jekt] /noun ˈɒb dʒɪkt, -dʒɛkt; verb əbˈdʒɛkt/ noun 1. anything that is visible or tangible and is relatively stable in form. 2. a thing, person, or matter to which thought or action is directed: an object of medical investigation. 3. the end toward which effort or action is directed; goal; […]

  • Object-ball

    noun, Billiards, Pool. 1. the first ball struck by the cue ball in making a carom. Compare . 2. a ball to be struck by the cue ball; any ball except the cue ball. noun 1. (billiards, snooker) any ball except the cue ball, esp one which the striker aims to hit with the cue […]

  • Objectbroker

    programming A distributed object system from DEC based on the CORBA standard. (1999-01-14)

  • Objectcenter

    A product offering similar facilities to CodeCenter for the C++ language, plus class browsing facilities etc (formerly Saber-C++).

Disclaimer: Obj3 definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.