Research on a High Level Language Approach to Operating System Design.

Abstract

This is a summary of the work performed on high level languages for operating systems. The work included: (1) a new method of correctness for asynchronous programs, (2) efficient ways to implement asynchronous programs, (3) protection in operating systems, and (4) the efficiency of structural programs. (Author)

Document Details

Document Type
Technical Report
Publication Date
Apr 12, 1976
Accession Number
ADA023866

Entities

People

  • Richard J. Lipton

Organizations

  • Yale University

Tags

DTIC Thesaurus Topics

  • Computer Languages
  • Efficiency
  • Formal Languages
  • High Level Languages
  • Language
  • Operating Systems

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Distributed Systems and Data Platform Development