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].
[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; […]
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 […]
programming A distributed object system from DEC based on the CORBA standard. (1999-01-14)
A product offering similar facilities to CodeCenter for the C++ language, plus class browsing facilities etc (formerly Saber-C++).