Abstract | ||
---|---|---|
In this paper we present two type extensions for the modeling language MiniZinc that allow the representation of some problems in a more natural way. The first proposal, called MiniZinc¿, extends existing types with additional values. The user can specify both the extension of a predefined type with new values, and the behavior of the operations with relation to the new types. We illustrate the usage of MiniZinc¿ to model SQL-like problems with integer variables extended with NULL values. The second extension, MiniZinc+, introduces union types in the language. This allows defining recursive types such as trees, which are very useful for modeling problems that involve complex structures. A new case statement is introduced to select the different components of union type terms. The paper shows how a model defined using these extensions can be transformed into a MiniZinc model which is equivalent to the original model. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.scico.2015.04.007 | Science of Computer Programming |
Keywords | Field | DocType |
Constraint programming,NULL values,Union types | Integer,Programming language,Union type,Additional values,Computer science,Constraint programming,Modeling language,Theoretical computer science,Recursion | Journal |
Volume | Issue | ISSN |
111 | P1 | 0167-6423 |
Citations | PageRank | References |
0 | 0.34 | 14 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rafael Caballero | 1 | 254 | 16.97 |
Peter J. Stuckey | 2 | 4368 | 457.58 |
Antonio Tenorio-Fornés | 3 | 5 | 2.52 |