GOFFIN: Higher-order functions meet concurrent constraints

DOI10.1016/S0167-6423(97)00010-5zbMath0891.68016MaRDI QIDQ1380128

Hendrick C. R. Lock, Martin Köhler, Manuel M. T. Chakravarty, Yi Ke Guo

Publication date: 25 February 1998

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

parallel programmingconstraint-based languageGOFFIN

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Operational semantics for declarative multi-paradigm languages

Uses Software

• Oz