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):

• Lipton,Richard J.

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:

• *HIGH LEVEL LANGUAGES
• DATA PROCESSING SECURITY
• ASYNCHRONOUS SYSTEMS
• REAL TIME
• EFFICIENCY
• PARALLEL PROCESSING
• REDUCTION
• FLOW CHARTING
• HIERARCHIES

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE