论文信息 - Protection in programming languages

Protection in programming languages

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

[1] Arthur Evans. PAL—a language designed for teaching programming linguistics , 1968, ACM '68.

[2] Jack B. Dennis,et al. Programming semantics for multiprogrammed computations , 1966, CACM.

[3] John C. Reynolds,et al. GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept , 1970, Commun. ACM.

[4] P. J. Landin,et al. The next 700 programming languages , 1966, CACM.

[5] Philippe Jorrand,et al. Some aspects of Basel, the base language for an extensible language facility , 1968, SIGP.

[6] Butler W. Lampson,et al. Dynamic protection structures , 1899, AFIPS '69 (Fall).

[7] John McCarthy,et al. LISP 1.5 Programmer's Manual , 1962 .