LANGUAGE AND STRUCTURE IN AN OPERATING SYSTEM.

M. Joseph; Vr Prasad; Kt Narayana; Iv Ramakrishnan; S. Desai

LANGUAGE AND STRUCTURE IN AN OPERATING SYSTEM.

M. Joseph
, Vr Prasad
, Kt Narayana
, Iv Ramakrishnan
, S. Desai

Computer Science

Research output: Contribution to journal › Conference article › peer-review

Abstract

This paper describes the ways in which the features of a high-level language have been used in the design of an operating system for a multiprocessor system. With considerable use of compile-time checking of access between separately compiled modules, it is seen that a secure language-based protection system can be built over an underlying capability scheme. The use of parameterization in the definition of abstractions is shown to offer many advantages in increasing the flexibility of the system design.

Original language	English
Pages (from-to)	347-357
Number of pages	11
Journal	Institute of Physics Conference Series
State	Published - 1979
Event	Oper Syst - Theory and Pract, Proc of the Int Symp, 2nd - Rocquencourt, Fr Duration: Oct 2 1978 → Oct 4 1978

Cite this

@article{c766972d0fc04f49bebe7dc6a709a223,

title = "LANGUAGE AND STRUCTURE IN AN OPERATING SYSTEM.",

abstract = "This paper describes the ways in which the features of a high-level language have been used in the design of an operating system for a multiprocessor system. With considerable use of compile-time checking of access between separately compiled modules, it is seen that a secure language-based protection system can be built over an underlying capability scheme. The use of parameterization in the definition of abstractions is shown to offer many advantages in increasing the flexibility of the system design.",

author = "M. Joseph and Vr Prasad and Kt Narayana and Iv Ramakrishnan and S. Desai",

year = "1979",

language = "English",

pages = "347--357",

journal = "Institute of Physics Conference Series",

issn = "0951-3248",

note = "Oper Syst - Theory and Pract, Proc of the Int Symp, 2nd ; Conference date: 02-10-1978 Through 04-10-1978",

}

TY - JOUR

T1 - LANGUAGE AND STRUCTURE IN AN OPERATING SYSTEM.

AU - Joseph, M.

AU - Prasad, Vr

AU - Narayana, Kt

AU - Ramakrishnan, Iv

AU - Desai, S.

PY - 1979

Y1 - 1979

N2 - This paper describes the ways in which the features of a high-level language have been used in the design of an operating system for a multiprocessor system. With considerable use of compile-time checking of access between separately compiled modules, it is seen that a secure language-based protection system can be built over an underlying capability scheme. The use of parameterization in the definition of abstractions is shown to offer many advantages in increasing the flexibility of the system design.

AB - This paper describes the ways in which the features of a high-level language have been used in the design of an operating system for a multiprocessor system. With considerable use of compile-time checking of access between separately compiled modules, it is seen that a secure language-based protection system can be built over an underlying capability scheme. The use of parameterization in the definition of abstractions is shown to offer many advantages in increasing the flexibility of the system design.

UR - https://www.scopus.com/pages/publications/0018694399

M3 - Conference article

AN - SCOPUS:0018694399

SN - 0951-3248

SP - 347

EP - 357

JO - Institute of Physics Conference Series

JF - Institute of Physics Conference Series

T2 - Oper Syst - Theory and Pract, Proc of the Int Symp, 2nd

Y2 - 2 October 1978 through 4 October 1978

ER -

LANGUAGE AND STRUCTURE IN AN OPERATING SYSTEM.

Abstract

Other files and links

Fingerprint

Cite this