Encyclopedia

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)
Mentioned in
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.
Roger Federer beats David Goffin to reach US Open quarter-finals
The No.3 seed marched into the US Open quarter-final by swatting aside Belgian David Goffin 6-2 6-2 6-0.
Another rush hour for Fed
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.
US Open: Federer enters quarter-finals
Ninth-seed Daniil Medvedev followed up his semi-final win over Novak Djokovic by beating David Goffin to claim the Cincinnati Masters title.
Medvedev moves into top five after his biggest victory; ATP TOUR
Daniil Medvedev poses for photographers after defeating David Goffin. - AFP
Medvedev survives cramps and tantrum to beat Goffin in Cincinnati Masters final
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.
Wimbledon rivals need 'to work twice as hard' against me, says Djokovic
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.
Clinical Djokovic destroys Goffin to reach semis
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.
'My Songs' on tour: Why Sting is playing Oct. 2 at the Big Dome
Jade Goffin lost her battle with 3c triple negative breast cancer, a rare and aggressive form of cancer, on Thursday (June 27).
Hounslow police officer dies just one day after vital cancer treatment approved; Jade Goffin has sadly lost her battle with cancer
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.
10 out of 10 for Federer
Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.