CP
2006
Springer
14 years 7 days ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...