Hipimm: verifying granular immutability guarantees (2014)

by Andreea Costea, Asankhaya Sharma, Cristina David
Venue:In Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014