The structure of “THE”-multiprogramming system
The structure of “THE”-multiprogramming system
复制标题
“THE”多道程序设计系统的结构
DOI：
10.1145/357980.357999
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
E. Dijkstra
中科院分区：
文献类型：
--
作者：
E. Dijkstra
描述了一种多道程序设计系统，其中所有活动都被划分为多个顺序进程。这些顺序过程被放置在不同的层次结构级别，其中每个层次都实现了一个或多个独立的抽象。事实证明，层次结构对于验证设计的逻辑健全性及其实现的正确性至关重要。
A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundness of the design and the correctness of its implementation.