N. Dershowitz and Z. Manna, "The Evolution of Programs: A System for Automatic Program Modification," Proc. Fourth Ann. Symp. Principles of Programming Languages, pp. 144-154, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
VADA: A Transformation-based System for Variable.. - Harman, Fox.. (2002) (1 citation) (Correct)
.... preserving, at least, not in the traditional sense of meaning that is typically considered to be some form of functional equivalence [3, 4, 13, 34, 39, 41] Although nonmeaning preserving transformations have been considered for program modification in corrective and adaptive maintenance [15, 16], the use of non meaning preserv A return becomes a forward jump after unfolding. 6 ing transformation here appears to be novel. That is, for the purpose of producing the core language from the C language, it is only necessary to preserve sufficient aspects of the behaviour of the program to ....
DERSHOWITZ, N., AND MANNA, Z. The evolution of programs: A system for automatic program modification. In Conference Record of the Fourth Annual Symposium on Principles of Programming Languages (1977), ACM SIGACT and SIGPLAN, ACM Press, pp. 144--154.
Mark Harman, Lin Hu, Rob Hierons, Joachim Wegener, Harmen.. - Andre Baresel And (Correct)
No context found.
N. Dershowitz and Z. Manna, "The Evolution of Programs: A System for Automatic Program Modification," Proc. Fourth Ann. Symp. Principles of Programming Languages, pp. 144-154, 1977.
Evolutionary Testing in the Presence of Loop-Assigned Flags.. - Baresel, Harman (2004) (2 citations) (Correct)
No context found.
N. Dershowitz and Z. Manna. The evolution of programs: A system for automatic program modification. In Conference Record of the Fourth 11 Annual Symposium on Principles of Programming Languages, pages 144--154. ACM SIGACT and SIGPLAN, ACM Press, 1977.
Testability Transformation - Mark Harman Lin (2004) (Correct)
No context found.
Nachum Dershowitz and Zohar Manna. The evolution of programs: A system for automatic program modi cation. In Conference Record of the Fourth Annual Symposium on Principles of Programming Languages, pages 144-154. ACM SIGACT and SIGPLAN, ACM Press, 1977.
Evolutionary Testing in the Presence of Loop-Assigned Flags.. - Baresel, Harman (2004) (2 citations) (Correct)
No context found.
N. Dershowitz and Z. Manna. The evolution of programs: A system for automatic program modification. In Conference Record of the Fourth Annual Symposium on Principles of Programming Languages, pages 144--154. ACM SIGACT and SIGPLAN, ACM Press, 1977.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC