TY - RPRT TI - Experimental evaluation of optimal abstract operators for sharing and linearity analysis AU - Francesca Scozzari AU - Gianluca Amato PY - 2026 UR - https://arxiv.org/abs/2606.10056 ID - 2606.10056 ER -