In Chapter 2 we mentioned the importance of supplying a means for abstraction in a programming language. The procedure was the earliest major form of abstraction and continues to be a central concept, so it certainly deserves a chapter of its own. A procedural abstraction is a mapping from a set of inputs to a set of outputs that can be described by a specification. The specification must show how the outputs relate to the inputs, but it need not reveal or even imply the way the outputs are to be computed. We can view the procedure concept in a programming language as an abstraction because it allows a user to focus only on what is done (at the point of call) and not on how it is accomplished.


Programming Language Actual Parameter Formal Parameter Global Variable Activation Record 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Computer Science Press 1984

Authors and Affiliations

  • Ellis Horowitz
    • 1
  1. 1.University of Southern CaliforniaUSA

Personalised recommendations