The structure of the THE-multiprogramming system (Reprint)

E.W. Dijkstra

doi:10.1145/357980.357999

The structure of the THE-multiprogramming system (Reprint)

E.W. Dijkstra

Mathematics and Computer Science

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

13 Citaten (Scopus)

2 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	49-52
Aantal pagina's	4
Tijdschrift	Communications of the ACM
Volume	26
Nummer van het tijdschrift	1
DOI's	https://doi.org/10.1145/357980.357999
Status	Gepubliceerd - 1983

Toegang tot document

10.1145/357980.357999

Citeer dit

@article{821fe5cc77c44bc998bcb9b6cbebb4ed,

title = "The structure of the THE-multiprogramming system (Reprint)",

abstract = "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.",

author = "E.W. Dijkstra",

year = "1983",

doi = "10.1145/357980.357999",

language = "English",

volume = "26",

pages = "49--52",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery, Inc",

number = "1",

}

TY - JOUR

T1 - The structure of the THE-multiprogramming system (Reprint)

AU - Dijkstra, E.W.

PY - 1983

Y1 - 1983

N2 - 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.

AB - 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.

U2 - 10.1145/357980.357999

DO - 10.1145/357980.357999

M3 - Article

SN - 0001-0782

VL - 26

SP - 49

EP - 52

JO - Communications of the ACM

JF - Communications of the ACM

IS - 1

ER -

The structure of the THE-multiprogramming system (Reprint)

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit