DisLog: A Separation Logic for Disentanglement

Alexandre Moine 0001, Sam Westrick, Stephanie Balzer. DisLog: A Separation Logic for Disentanglement. Proceedings of the ACM on Programming Languages, 8(POPL):302-331, January 2024. [doi]

Abstract

Abstract is missing.