goffin
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of goffin word
- noun Technical meaning of 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. 1
Information block about the term
Parts of speech for Goffin
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with g
- Words starting with go
- Words starting with gof
- Words starting with goff
- Words starting with goffi
- Words starting with goffin
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?