Stefan Heule, K. Rustan M. Leino, Peter Müller 0001, Alexander J. Summers. Fractional permissions without the fractions. In Stephen N. Freund, editor, Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM, 2011. [doi]
Abstract is missing.