In the analysis of logic programs, abstract domains for detecting sharing properties are widely used. Recently the new domain ShLin has been introduced to generalize both sharing and linearity information. This domain is endowed with an optimal abstract operator for single-binding unification. The authors claim that the repeated application of this operator is also optimal for multi-binding uni...

The voting rule considered in this paper belongs to a large class of voting systems, called “range voting” or “utilitarian voting”, where each voter rates each candidate with the help of a given evaluation scale and the winner is the candidate with the highest total score. In approval voting the evaluation scale only consists of two levels: 1 (approval) and 0 (non approval). However non approva...

Interpretation from a Topological Perspective

Interpretation with Alien Expressions