Managed data: modular strategies for data abstraction

Alex Loh, Tijs van der Storm, William R. Cook. Managed data: modular strategies for data abstraction. In Gary T. Leavens, Jonathan Edwards, editors, ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012. pages 179-194, ACM, 2012. [doi]

Abstract

Abstract is missing.