A Survey of Oz - A Higher-order Concurrent Constraint Language.

Published in: ICLP Workshop on Concurrent Constraint Programming (1993)

Keyphrases

constraint language
higher order
integrity constraints
object oriented
constraint networks
modeling language
uml diagrams
metamodel
process model
high order
pairwise
markov random field
case study
lambda calculus
temporal reasoning
linear programming
special case
execution paths