On functions and equality

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

Abstract

We have to say a word or two about functions because, depending on the ways permitted for their definition, it may be questionable whether they are well-defined at all. Fortunately, our functions will be simple: they will be total functions with values and arguments of well-defined types.

Keywords

Prefix 

Preview

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. Schotten
    • 2
  1. 1.University of Texas at Austin AustinUSA
  2. 2.Klein Paradys 4BeekbergenThe Netherlands

Personalised recommendations