Accession Number:

ADA023866

Title:

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

Descriptive Note:

Final rept.,

Corporate Author:

YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1976-04-12

Pagination or Media Count:

144.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE