On substitution and replacement

  • Edsger W. Dijkstra
  • Carel S. Scholten
Part of the Texts and Monographs in Computer Science book series (MCS)


With respect to substitution and replacement, two extreme attitudes seem to prevail. Either the manipulations are deemed so simple that the author performs them without any explanation or statement of the rules, or the author tries to give a precise statement of the most general rules and ends up with 200 pages of small print, in which all simplicity has been lost. Neither is entirely satisfactory for the purposes of this little monograph.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1990

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  • Carel S. Scholten
    • 2
  1. 1.University of Texas at AustinUSA
  2. 2.BeekbergenThe Netherlands

Personalised recommendations