After some chatting with colleagues: 1) Whatever semantics we choose, the operator should not be called MINUS, as its semantics is not even roughly clear intuitively. 2) A restriction to min. 1 shared variable is not intuitive. Cheers, Simon -- Simon Schenk | ISWeb | Uni Koblenz http://isweb.uni-koblenz.de http://www.uni-koblenz.de/~sschenk Five sentences policy: http://five.sentenc.es/Received on Thursday, 9 July 2009 09:14:31 UTC
This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:57 UTC