Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Systematic Design of Separation Logics
Roberto Bruni, Lorenzo Gazzella, Roberta Gori
Thanks to the locality principle, separation logics support modular, scalable analysis of large codebases by relying on local axioms and frame rules to focus only on the heap fragm…
cs.LO2025
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
Flavio Ascari, Roberto Bruni, Roberta Gori +1
O'Hearn's Incorrectness Logic (IL) has sparked renewed interest in static analyses that aim to detect program errors rather than prove their absence, thereby avoiding false alarms…