DMCA

Hipimm: verifying granular immutability guarantees (2014)

Cached

Download Links

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