The Modelling Language Zinc

Rafeh, Reza (2006) The Modelling Language Zinc. Principles and Practice of Constraint Programming - CP 2006, Nantes, France, September 25-29, 2006.

Full text not available from this repository.

Official URL: http://link.springer.com/chapter/10.1007/11889205_...

Abstract or Summary

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 readily extended to different application domains by user-defined libraries. Zinc is designed to support a modelling methodology in which the same conceptual model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem.

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Keywords that describe the item:Zine Modelling
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5129
Deposited By:
Deposited On:11 Jan 2017 01:02
Last Modified:19 Dec 2018 23:58

Repository Staff Only: item control page