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]
@inproceedings{ThorupGD06,
title = {Mutual satellites: round-trip modeling for complete applications},
author = {Lars Thorup and Sune Gynthersen and Kristian Dupont},
year = {2006},
doi = {10.1145/1176617.1176683},
url = {http://doi.acm.org/10.1145/1176617.1176683},
tags = {completeness, modeling},
researchr = {https://researchr.org/publication/ThorupGD06},
cites = {0},
citedby = {0},
pages = {704-705},
booktitle = {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},
editor = {Peri L. Tarr and William R. Cook},
publisher = {ACM},
isbn = {1-59593-491-X},
}