Obj2
Clear-like parametrised modules. A functional system based on equations. “Principles of OBJ2”, K. Futatsugi et al, 12th POPL, ACM 1985, pp.52-66.
Read Also:
- 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)
- 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++).