Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner. Verifiable functional purity in java. In Peng Ning, Paul F. Syverson, Somesh Jha, editors, Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008. pages 161-174, ACM, 2008. [doi]
@inproceedings{FinifterMSW08,
title = {Verifiable functional purity in java},
author = {Matthew Finifter and Adrian Mettler and Naveen Sastry and David Wagner},
year = {2008},
doi = {10.1145/1455770.1455793},
url = {http://doi.acm.org/10.1145/1455770.1455793},
tags = {Java},
researchr = {https://researchr.org/publication/FinifterMSW08},
cites = {0},
citedby = {0},
pages = {161-174},
booktitle = {Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008},
editor = {Peng Ning and Paul F. Syverson and Somesh Jha},
publisher = {ACM},
isbn = {978-1-59593-810-7},
}