Programming Languages J.J. Homing Editor

by A Language Extension

@MISC{Extension_programminglanguages,
    author = {A Language Extension},
    title = {Programming Languages J.J. Homing Editor},
    year = {}
}

537	The protection of information in computer systems - Saltzer, Schroeder - 1975
122	Abstraction mechanisms in CLU - Liskov, Snyder, et al. - 1977
115	HYDRA: The Kernel of a Multiprocessor Operating System - Wulf, Cohen, et al. - 1974
113	The Programming Language PASCAL - Wirth - 1972
83	Capability-Based Addressing - Fabry - 1974
33	An introduction to the construction and verification of Alphard programs - Wulf, London, et al. - 1976
25	Protection in programmed systems - Jones - 1973
22	Gypsy: a language for specification and implementation of verifiable programs - Ambler, Good, et al. - 1977
21	Reflections on an operating system design - Lampson, Sturgis - 1976
9	A Tutorial on ALGOL 68 - Tanenbaum - 1976
7	Hierarchical program structures, Structured Programming - Dahl, Hoare - 1972
7	A language extension for controlling access to shared data - JONES, LISKOV - 1976
2	Toward the Design of a Secure System. Software Practice and Experience 5 - Jones, Wulf - 1975
1	Programming for Multiprogrammed Computations - Dennis, Horn - 1966
1	A Model for Verification of Security in Operating Systems - Popek, Farber