Fractional permissions without the fractions.

Stefan Heule, K. Rustan M. Leino, Peter Mller, Alexander J. Summers

Browse the full ECOOP paper archive.