2 papers
cs.LO2026
Experimental evaluation of optimal abstract operators for sharing and linearity analysis
Francesca Scozzari, Gianluca Amato
In the field of static analysis of logic programs, the optimality of abstract operators is a valuable theoretical property, as it provides insight into the structure of abstract do…
cs.LO2025
Universal Algebra in UniMath
Gianluca Amato, Matteo Calosci, Marco Maggesi +1
We present our library for Universal Algebra in the UniMath framework dealing with multi-sorted signatures, their algebras, and the basics for equation systems. We show how to impl…