Browsing University of Waterloo by Subject "Multiset"
Now showing items 1-1 of 1
-
Modeling and Reasoning with Multisets and Multirelations in Alloy
(University of Waterloo, 2017-01-17)Multisets and multirelations arise naturally in modeling; however, most modeling languages either have limited or completely lack support for multisets and multirelations. Alloy, for instance, is a lightweight relational ...