This paper applies the concepts of hierarchical levels of abstraction and structured programming to the design of a large program system. An operating system for a multi-processor installation is specified that supports a large number of concurrently active processes and provides a virtual store for them. The specification is in an extended version of PASCAL, a high-level language.
No takes yet. Share an insight, caveat, or question.
Saxena et al. (1975) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: