@inproceedings{d6a39921202843f8b2d0829d751d112e,
title = "A calculus of program modifications",
abstract = "It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for making modifications to retrieved components before using them. Because software components are very information-rich (i.e. it takes a great deal of information to characterize a component), the chances of an exact match between an available component and a query are in general very slim; hence it is necessary to make provisions for adapting retrieved components to user requirements. This paper discusses a mathematical foundation for carrying out this modification process in a correctness-preserving manner.",
author = "R. Mili and M. Frappier and J. Desharnais and Ali Mili",
year = "1997",
month = may,
day = "1",
doi = "10.1145/258366.258415",
language = "English (US)",
series = "Proceedings of the 1997 Symposium on Software Reusability, SSR 1997",
publisher = "Association for Computing Machinery, Inc",
pages = "157--168",
editor = "Medhi Harandi",
booktitle = "Proceedings of the 1997 Symposium on Software Reusability, SSR 1997",
note = "1997 Symposium on Software Reusability, SSR 1997 ; Conference date: 17-05-1997 Through 20-05-1997",
}