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


  1  definition  found 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
    A  {definitional  constraint  language}  for 
  {declarative}  parallel  programming.  Goffin  systematically 
  integrates  {equational  constraint}s  and  functions  within  a 
  uniform  framework  of  {concurrent}  programming. 
  Goffin  is  an  embedding  of  a  functional  language  kernel 
  ({Haskell})  into  a  layer  of  constraint  logic,  which  allows 
  {logical  variable}s  inside  functional  expressions.  In  order 
  to  preserve  {referential  transparency},  functional  {reduction} 
  suspends  until  logical  variables  become  bound. 
  Logical  variables  are  bound  by  equational  constraints,  which 
  impose  relations  over  expressions.  Hence  constraints  are  the 
  means  to  structure  the  concurrent  reduction  of  functional