Goffin

(language)A definitional constraint language fordeclarative parallel programming. Goffin systematicallyintegrates equational constraints and functions within auniform framework of concurrent programming.

Goffin is an embedding of a functional language kernel(Haskell) into a layer of constraint logic, which allowslogical variables inside functional expressions. In orderto preserve referential transparency, functional reductionsuspends until logical variables become bound.

Logical variables are bound by equational constraints, whichimpose relations over expressions. Hence, constraints are themeans to structure the concurrent reduction of functionalexpressions.

单词	goffin
释义	Goffin Goffin (language)A definitional constraint language fordeclarative parallel programming. Goffin systematicallyintegrates equational constraints and functions within auniform framework of concurrent programming. Goffin is an embedding of a functional language kernel(Haskell) into a layer of constraint logic, which allowslogical variables inside functional expressions. In orderto preserve referential transparency, functional reductionsuspends until logical variables become bound. Logical variables are bound by equational constraints, whichimpose relations over expressions. Hence, constraints are themeans to structure the concurrent reduction of functionalexpressions.
随便看	lstrc lstrs lsts lstsb lst/scam lstt lsttl lstu lst updt lstv lstyd lsu lsua lsuae lsuafrp lsubr lsuc lsuccc lsucs lsuda lsue lsuf lsuh lsuhn lsuhpf