Constraint Semantics for Abstract Read Permissions

John Tang Boyland, Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers. Constraint Semantics for Abstract Read Permissions. In David J. Pearce, editor, Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014. ACM, 2014. [doi]

Abstract

Abstract is missing.