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 ?
7 David Goffin, retired after being hit in the left eye by a ball.
And while some of the cast didn't quite do justice to the incredible numbers penned by King and Gerry Goffin, the rest more than compensated.
Summary: Melbourne [Australia], Jan 18 (ANI): Belgian tennis player and seventh seed David Goffin was knocked out in the second round of the Australian Open at Melbourne Park on Thursday.
Tennis - ATP World Tour Finals - The O2 Arena, London, Britain - November 13, 2017 Spain's Rafael Nadal during a press conference after losing his group stage match against Belgium's David Goffin Action Images - Reuters/Tony O'Brien CAIRO -- 9 December: The International Tennis Federation has named Rafael Nadal as the best player of the 2017 season, and Nadal will receive the award for the third time in his career.
The producer urges King (Sarah Bockel) to include an older tune, written with her ex-husband and former partner Gerry Goffin.
For Belgium, seventh-ranked Goffin is joined by Steve Darcis and Ruben Bemelmans, with doubles specialist Joris de Loore preferred to Arthur de Greef by captain Johan van Herck.
Belgium will be led by David Goffin and Steve Darcis, with Joris De Loore and Ruben Bemelmans down to play Saturday's doubles.
GRIGOR Dimitrov claimed the biggest title of his career by edging a three-set thriller with David Goffin to win the ATP Finals in London.
Roger Federer's bid for a seventh ATP Finals title came to an end after a shock 2-6 6-3 6-4 defeat by Belgian David Goffin at London's O2 Arena.
DAVID GOFFIN denied Roger Federer the chance to win his eighth title of the year at the ATP Tour finals.
ROGER Federer offered no excuses for his shock defeat by David Goffin in the last four of the ATP Finals.
DAVID Goffin admits he has no idea how to go about beating Roger Federer when the pair meet in the last four of the ATP Finals today.