Dustin Rhodes, Tim Disney, Cormac Flanagan. Dynamic detection of object capability violations through model checking. In Andrew P. Black, Laurence Tratt, editors, DLS'14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 103-112, ACM, 2014. [doi]
@inproceedings{RhodesDF14,
title = {Dynamic detection of object capability violations through model checking},
author = {Dustin Rhodes and Tim Disney and Cormac Flanagan},
year = {2014},
doi = {10.1145/2661088.2661099},
url = {http://doi.acm.org/10.1145/2661088.2661099},
researchr = {https://researchr.org/publication/RhodesDF14},
cites = {0},
citedby = {0},
pages = {103-112},
booktitle = {DLS'14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014},
editor = {Andrew P. Black and Laurence Tratt},
publisher = {ACM},
isbn = {978-1-4503-3211-8},
}