Copying and swapping: influences on the design of reusable software components
- 1 May 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 17 (5) , 424-435
- https://doi.org/10.1109/32.90445
Abstract
The authors argue that a simple alternative to copying as a data movement primitive-swapping (exchanging) the values of two variables-has potentially significant advantages in the context of the design of generic reusable software components. Specifically, the authors claim that generic module designs based on a swapping style are superior to designs based on copying, both in terms of execution-time efficiency and with respect to the likelihood of correctness of client programs and module implementations. Furthermore, designs based on swapping are more reusable than traditional designs. Specific arguments and examples to support these positions are presented.Keywords
This publication has 5 references indexed in Scilit:
- A specifier's introduction to formal methodsComputer, 1990
- Issues in Ada compiler technologyComputer, 1989
- Type theories and object-oriented programmimgACM Computing Surveys, 1988
- Analysis of pointer “rotation”Communications of the ACM, 1982
- Programming without pointer variablesACM SIGPLAN Notices, 1976