Stephan van Staden, Cristiano Calcagno. Reasoning about multiple related abstractions with MultiStar. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 504-519, ACM, Reno/Tahoe, Nevada, 2010. [doi]
Abstract is missing.