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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
Roger Federer cruised into the US Open quarter-finals, thrashing 15th seed David Goffin 6-2 6-2 6-0 in just 78 minutes.
Federer, a five-time US Open champion with 20 Slam titles, advanced to the US Open quarter-finals for the 13th time by routing Belgian 15th seed David Goffin 6-2, 6-2, 6-0 in only 79 minutes.
The No.3 seed marched into the US Open quarter-final by swatting aside Belgian David Goffin 6-2 6-2 6-0.
Summary: New York [USA], Sept 1 (ANI): Swiss tennis maestro Roger Federer entered the quarter-finals of the ongoing US Open on Sunday, defeating David Goffin of Belgium in straight sets in the fourth round match.
Ninth-seed Daniil Medvedev followed up his semi-final win over Novak Djokovic by beating David Goffin to claim the Cincinnati Masters title.
Daniil Medvedev poses for photographers after defeating David Goffin. - AFP
Two players in that section hoping to capitalise will be David Goffin and Taylor Fritz and the big-hitting American appeals as the one to side with in their firstround encounter.
The world number one eased to a 6-4, 6-0, 6-2 win over David Goffin of Belgium securing his 70th match win at the All England Club.
Top seed Novak Djokovic recovered from an edgy start to deliver a devastating display that crushed the spirit of 21st-seeded Belgian David Goffin in straight sets on Wednesday and sent the defending champion surging into the Wimbledon semi-finals.
I have yet to see it, but from the positive reviews, 'Beautiful: The Carole King Musical' is worth watching-if only to be reminded of the body of work that King, a Rock and Roll Hall of Fame inductee, created with her ex-husband, lyricist Gerry Goffin.
Jade Goffin lost her battle with 3c triple negative breast cancer, a rare and aggressive form of cancer, on Thursday (June 27).
ROGER FEDERER warmed up for next month's Wimbledon championships by swatting aside David Goffin 7-6(2) 6-1 to win the Halle Open title for the 10th time.