This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
November 1977 (vol. 3 no. 6)
pp. 377-385
ASCII Text
x 
 
N. Dershowitz, Z. Manna, "The Evolution of Programs: Automatic Program Modification," IEEE Transactions on Software Engineering, vol. 3, no. 6, pp. 377-385, November, 1977.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1977.231170,
author = {N. Dershowitz and Z. Manna},
title = {The Evolution of Programs: Automatic Program Modification},
journal ={IEEE Transactions on Software Engineering},
volume = {3},
number = {6},
issn = {0098-5589},
year = {1977},
pages = {377-385},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1977.231170},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - The Evolution of Programs: Automatic Program Modification
IS - 6
SN - 0098-5589
SP377
EP385
EPD - 377-385
A1 - N. Dershowitz,
A1 - Z. Manna,
PY - 1977
KW - transformations
KW - Program debugging
KW - program modification
KW - program schemata
VL - 3
JA - IEEE Transactions on Software Engineering
ER -
 
N. Dershowitz, Stanford Artificial Intelligence Laboratory, Department of Computer Science, Stanford University
An attempt is made to formulate techniques of program modification, whereby a given program that achieves one goal can be transformed into a new program that uses the same principles to achieve a different goal. For example, a program that uses the binary search paradigm to calculate the square root of a number may be modified to divide two numbers in a similar manner, or vice versa. The essence of the approach is to find an analogy between the specifications of the given and desired programs, and then to transform the given program accordingly.
Index Terms:
transformations, Program debugging, program modification, program schemata
Citation:
N. Dershowitz, Z. Manna, "The Evolution of Programs: Automatic Program Modification," IEEE Transactions on Software Engineering, vol. 3, no. 6, pp. 377-385, Nov. 1977, doi:10.1109/TSE.1977.231170
Usage of this product signifies your acceptance of the Terms of Use.