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
Descriptors:
Subject Categories:
- Computer Programming and Software