Abstract
In this chapter we discuss a number of ’dimensions’ along which procedures (and functions) can be varied. In outline these are:
-
(i)
Number of parameters.
-
(ii)
Possibility of recursion.
-
(iii)
Environment used to bind free identifiers (i.e. identifiers in the body which are not formal parameters).
-
(iv)
Coercion of the actual parameter value.
-
(v)
Evaluation of the actual parameter expression.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Gordon, M.J.C. (1979). Various kinds of procedures and functions. In: The Denotational Description of Programming Languages. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-6228-2_8
Download citation
DOI: https://doi.org/10.1007/978-1-4612-6228-2_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-90433-7
Online ISBN: 978-1-4612-6228-2
eBook Packages: Springer Book Archive