Lars Thorup, Sune Gynthersen, Kristian Dupont. Mutual satellites: round-trip modeling for complete applications. In Peri L. Tarr, William R. Cook, editors, Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. pages 704-705, ACM, 2006. [doi]
Abstract is missing.