Mark T. Vandevoorde, John V. Guttag
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity
FSE, 1994.
@inproceedings{FSE-1994-VandevoordeG,
author = "Mark T. Vandevoorde and John V. Guttag",
booktitle = "{Proceedings of the Second Symposium on Foundations of Software Engineering}",
doi = "10.1145/193173.195300",
editor = "David S. Wile",
pages = "121--127",
publisher = "{ACM}",
title = "{Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity}",
year = 1994,
}