Goffin


Also found in: Wikipedia.

Goffin

(language)
A definitional constraint language for declarative parallel programming. Goffin systematically integrates equational constraints 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 variables 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.
References in periodicals archive ?
1 Goffin, which handed Britain an impregnable 3-1 lead and a first triumph in the World Cup of tennis since Fred Perry and Bunny Austin in 1936.
2 clinched the point Great Britain needed to beat Belgium on the final day of play at a deafening Flanders Expo in Ghent with a 6-3 7-5 6-3 victory over David Goffin.
Murray inspired Britain to their first Davis Cup win since 1936 with a straightsets victory over David Goffin in Ghent.
The world number two clinched the point Great Britain needed to beat Belgium on the final day of play at a deafening Flanders Expo in Ghent with a 6-3 7-5 6-3 victory over David Goffin.
The Belgians sprang something of a surprise by bringing their number one singles player David Goffin, no doubt inspired by his comeback against Kyle Edmund on day one, in to partner Steve Darcis.
ANDY MURRAY will secure Great Britain's first Davis Cup title for 79 years by beating David Goffin in the first singles today.
ANDY Murray began the defence of his Wimbledon title with a standing ovation and left Centre Court to another one after a straightforward firstround win over David Goffin.
Jamie saved two break points but double-faulted to bring up a third and this time Goffin put away a smash, to the delight of the raucous crowd.
Andy and brother Jamie yesterday gave Britain a crucial 2-1 lead in Ghent with a stunning 6-4 4-6 6-3 6-2 doubles victory over Belgian duo Goffin and Steve Darcis.
ANDY Murray will have the chance to complete one of the most remarkable Davis Cup performances in history when he takes on David Goffin for the title in Ghent today.
Today's order of singles will not be confirmed until an hour before the first match but Murray added: "Even if I was to lose against Goffin, we have a very good chance in the other rubber.
Andy Murray sealed Britain's first Davis Cup title for 79 years with a brilliant 6-3 7-5 6-3 defeat of Belgium's David Goffin in a fever-pitch atmosphere at Ghent's Flanders Expo on Sunday.