What Is a Procedure?

Chapter

Abstract

Whether the meaning of a procedure is given by its specification or by its implementation has consequences for scalability of analysis, for localization of errors, for loop semantics, for program translation, and even for the halting problem.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Hehner, E.C.R.: A Practical Theory of Programming, 1st edn. Springer (1993); current edition online at www.cs.utoronto.ca/~hehner/aPToP, 2016
  2. 2.
    Hehner, E.C.R.: Formal Methods of Software Design, course online at www.cs.utoronto.ca/~hehner/FMSD (2015)
  3. 3.
    Hehner, E.C.R.: Several Papers on the Halting Problem, online at www.cs.utoronto.ca/~hehner/halting.html (2013–2015)

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.University of TorontoTorontoCanada

Personalised recommendations