Obj3

1 definition found

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

  OBJ3
       
           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)