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]
@inproceedings{Boyland0SS14,
title = {Constraint Semantics for Abstract Read Permissions},
author = {John Tang Boyland and Peter Müller 0001 and Malte Schwerhoff and Alexander J. Summers},
year = {2014},
doi = {10.1145/2635631.2635847},
url = {http://doi.acm.org/10.1145/2635631.2635847},
researchr = {https://researchr.org/publication/Boyland0SS14},
cites = {0},
citedby = {0},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
editor = {David J. Pearce},
publisher = {ACM},
isbn = {978-1-4503-2866-1},
}