Get Affordable VMs - excellent virtual server hosting


browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z

objmore about obj

obj

 

  1  definition  found 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  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].




more about obj