Abstract
Look how carefully the title has been worded! No developer of a program transformation system need feel offended, for I have given him two escapes. Firstly, I am not arguing an impossibility, but only an unlikeliness — and we know that all startling advances have been made against seemingly overwhelming odds, don’t we? Secondly, he has the option to declare that the program transformation system he is developing is not “naive” in the sense that I shall make more precise below.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Rights and permissions
Copyright information
© 1982 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Dijkstra, E.W. (1982). Why Naive Program Transformation Systems Are Unlikely to Work. In: Selected Writings on Computing: A personal Perspective. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5695-3_57
Download citation
DOI: https://doi.org/10.1007/978-1-4612-5695-3_57
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-5697-7
Online ISBN: 978-1-4612-5695-3
eBook Packages: Springer Book Archive