Research on a High Level Language Approach to Operating System Design.
YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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
- Computer Programming and Software