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…