A calculus of program modifications

R. Mili, M. Frappier, J. Desharnais, A. Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


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.

Original languageEnglish (US)
Title of host publicationProceedings of the 1997 Symposium on Software Reusability, SSR 1997
EditorsMedhi Harandi
PublisherAssociation for Computing Machinery, Inc
Number of pages12
ISBN (Electronic)0897919459, 9780897919456
StatePublished - May 1 1997
Externally publishedYes
Event1997 Symposium on Software Reusability, SSR 1997 - Boston, United States
Duration: May 17 1997May 20 1997

Publication series

NameProceedings of the 1997 Symposium on Software Reusability, SSR 1997


Other1997 Symposium on Software Reusability, SSR 1997
Country/TerritoryUnited States

All Science Journal Classification (ASJC) codes

  • Software


Dive into the research topics of 'A calculus of program modifications'. Together they form a unique fingerprint.

Cite this