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.
Access provided by CONRICYT-eBooks. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Hehner, E.C.R.: A Practical Theory of Programming, 1st edn. Springer (1993); current edition online at www.cs.utoronto.ca/~hehner/aPToP, 2016
Hehner, E.C.R.: Formal Methods of Software Design, course online at www.cs.utoronto.ca/~hehner/FMSD (2015)
Hehner, E.C.R.: Several Papers on the Halting Problem, online at www.cs.utoronto.ca/~hehner/halting.html (2013–2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Hehner, E.C.R. (2017). What Is a Procedure?. In: Mazzara, M., Meyer, B. (eds) Present and Ulterior Software Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-67425-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-67425-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67424-7
Online ISBN: 978-3-319-67425-4
eBook Packages: Computer ScienceComputer Science (R0)