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.
Cite
CITATION STYLE
APA
Hehner, E. C. R. (2017). What is a procedure? In Present and Ulterior Software Engineering (pp. 19–36). Springer International Publishing. https://doi.org/10.1007/978-3-319-67425-4_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free