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
goffin


goffin


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