Calculus of program adaptation and its applications

Citations of this article
Mendeley users who have this article in their library.


Traditional programming calculi focus on transforming a specification into a program. With the advent of such recent paradigms as white box reuse, component-based software development, and re-engineering, and with the continued predominance of software maintenance, less and less software engineering activity nowadays deals with straightforward development. More and more, software products are derived by incrementing, composing, merging, or otherwise modifying existing components. In this paper we present a calculus that models these paradigms.




Ayed, R. B., Desharnais, J., Frappier, M., & Mili, A. (2000). Calculus of program adaptation and its applications. Science of Computer Programming, 38(1), 73–123.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free