Los puntos clave no están disponibles para este artículo en este momento.
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.