Obj3
language
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].
(1995-03-16)
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++).
- Object chill
[“Object CHILL – An Object Oriented Language for Systems Implementation”, J. Winkler et al, ACM Comp Sci Conf 1992, pp. 139-147]. (1995-01-31)