[1] : The Free On-line Dictionary of Computing (27 SEP 03)

obj
     
        joseph goguen 1976.  a family of declarative "ultra high
        level" languages.  abstract types, generic modules, subsorts
        subtypes with multiple inheritance, pattern-matching
        modulo equations, e-strategies user control over laziness,
        module expressions for combining modules, theories and views
        for describing module interfaces.  for the massively
        parallel rrm rewrite rule machine.
     
        "higher-order functions considered unnecessary for
        higher-order programming", j.a. goguen, in research topics in
        functional programming.
     
     
see also:
multiple inheritance 

Obj >> O Words
Obj, definition of term: Obj
obj_pag1.html