Key points are not available for this paper at this time.
Linguistic mechanisms which can be used to protect one subprogram from another's malfunctioning are described. Function-producing functions and various type-tagging schemes are considered. An attempt is made to distinguish between access limitation and authentication.
James H. Morris (Mon,) studied this question.